Let's Build Secure Systems on a Correct Kernel

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
June Andronick

Other available formats:

Let's Build Secure Systems on a Correct Kernel
Switch to experimental viewer