Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood. Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. In Ravi Iyer, Qing Yang, Antonio González, editors, 38th International Symposium on Computer Architecture (ISCA 2011), June 4-8, 2011, San Jose, CA, USA. pages 189-200, ACM, 2011. [doi]
Abstract is missing.