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. 189-200 2011 ISCA http://doi.acm.org/10.1145/2000064.2000087 conf/isca/2011 db/conf/isca/isca2011.html#TiwariOLVLHKCS11