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

Mohit Tiwari, Jason K. Oberg, Xun Li, Jonathan Valamehr, Timothy Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
[doi] [Google Scholar] [DBLP] [Citeseer]

ACM SIGARCH Computer Architecture News
Volume 39
Pages 189-200
Topic(s): os security
Note(s): hardware, information flow