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]
@inproceedings{TiwariOLVLHKCS11,
title = {Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security},
author = {Mohit Tiwari and Jason Oberg and Xun Li 0001 and Jonathan Valamehr and Timothy E. Levin and Ben Hardekopf and Ryan Kastner and Frederic T. Chong and Timothy Sherwood},
year = {2011},
doi = {10.1145/2000064.2000087},
url = {http://doi.acm.org/10.1145/2000064.2000087},
tags = {data-flow, security},
researchr = {https://researchr.org/publication/TiwariOLVLHKCS11},
cites = {0},
citedby = {0},
pages = {189-200},
booktitle = {38th International Symposium on Computer Architecture (ISCA 2011), June 4-8, 2011, San Jose, CA, USA},
editor = {Ravi Iyer and Qing Yang and Antonio González},
publisher = {ACM},
isbn = {978-1-4503-0472-6},
}