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
ACM
Pages 189-200
2011
Topic(s): os security
Note(s): hardware, information flow
Volume 39
ACM
Pages 189-200
2011
Topic(s): os security
Note(s): hardware, information flow