gistfile1.perl

Hi pdos,


For tomorrow's group meeting, I will be giving a talk on a survey of
linux kernel vulnerabilities.

The talk will present data on 141 Linux kernel vulnerabilities discovered in
the past 15 months, and examine how well state-of-the-art techniques
address these real bugs. The main findings are that no techniques are
fully effective, and that semantic bugs---violations of high-level security
invariants that do not involve memory safety errors---are one open problem.


Best regards,
Haogang Chen