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

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]

Authors

Mohit Tiwari

This author has not been identified. Look up 'Mohit Tiwari' in Google

Jason Oberg

This author has not been identified. Look up 'Jason Oberg' in Google

Xun Li 0001

This author has not been identified. Look up 'Xun Li 0001' in Google

Jonathan Valamehr

This author has not been identified. Look up 'Jonathan Valamehr' in Google

Timothy E. Levin

This author has not been identified. Look up 'Timothy E. Levin' in Google

Ben Hardekopf

This author has not been identified. Look up 'Ben Hardekopf' in Google

Ryan Kastner

This author has not been identified. Look up 'Ryan Kastner' in Google

Frederic T. Chong

This author has not been identified. Look up 'Frederic T. Chong' in Google

Timothy Sherwood

This author has not been identified. Look up 'Timothy Sherwood' in Google