Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.

Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood

Browse the full ISCA paper archive.