{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T17:11:12Z","timestamp":1773249072188,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,4]],"date-time":"2011-06-04T00:00:00Z","timestamp":1307145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,4]]},"DOI":"10.1145\/2000064.2000087","type":"proceedings-article","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T13:34:50Z","timestamp":1309268090000},"page":"189-200","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":75,"title":["Crafting a usable microkernel, processor, and I\/O system with strict and provable information flow security"],"prefix":"10.1145","author":[{"given":"Mohit","family":"Tiwari","sequence":"first","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason K.","family":"Oberg","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xun","family":"Li","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Valamehr","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Levin","sequence":"additional","affiliation":[{"name":"Naval Postgraduate School, Monterey, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Hardekopf","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Kastner","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic T.","family":"Chong","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Sherwood","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,4]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Arinc 653. http:\/\/www.lynuxworks.com\/solutions\/milaero\/arinc-653.php.  Arinc 653. http:\/\/www.lynuxworks.com\/solutions\/milaero\/arinc-653.php."},{"key":"e_1_3_2_2_2_1","unstructured":"Common criteria for information technology security evaluation. http:\/\/www.commoncriteriaportal.org\/cc\/.  Common criteria for information technology security evaluation. http:\/\/www.commoncriteriaportal.org\/cc\/."},{"key":"e_1_3_2_2_3_1","unstructured":"The integrity real-time operating system. http:\/\/www.ghs.com\/products\/rtos\/integrity.html.  The integrity real-time operating system. http:\/\/www.ghs.com\/products\/rtos\/integrity.html."},{"key":"e_1_3_2_2_4_1","unstructured":"What does cc cal6 + mean? http:\/\/www.ok-labs.com\/blog\/entry\/what-does-cc-eal6-mean\/.  What does cc cal6 + mean? http:\/\/www.ok-labs.com\/blog\/entry\/what-does-cc-eal6-mean\/."},{"key":"e_1_3_2_2_5_1","volume-title":"12th Annual Network and Distributed System Security Symposium (NDSS '05)","author":"Newsome James","year":"2005","unstructured":"James Newsome and Dawn Song . Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software . In 12th Annual Network and Distributed System Security Symposium (NDSS '05) , February 2005 . James Newsome and Dawn Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In 12th Annual Network and Distributed System Security Symposium (NDSS '05), February 2005."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11967668_15"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1314466.1314469"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11967668_15"},{"key":"e_1_3_2_2_10_1","volume-title":"Integrity considerations for secure computer systems","author":"Biba K.","year":"1977","unstructured":"K. Biba . Integrity considerations for secure computer systems , 1977 . K. Biba. Integrity considerations for secure computer systems, 1977."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250722"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_3_2_2_13_1","unstructured":"D. Federal Aviation Administration (FAA). Boeing model 787-8 airplane; systems and data networks security-isolation or protection from unauthorized passenger domain systems access. http:\/\/cryptome.info\/faa010208.htm.  D. Federal Aviation Administration (FAA). Boeing model 787-8 airplane; systems and data networks security-isolation or protection from unauthorized passenger domain systems access. http:\/\/cryptome.info\/faa010208.htm."},{"key":"e_1_3_2_2_14_1","volume-title":"IEEE Symposium on, 0: 11","author":"Goguen J. A.","year":"1982","unstructured":"J. A. Goguen and J. Meseguer . Security policies and security models. Security and Privacy , IEEE Symposium on, 0: 11 , 1982 . J. A. Goguen and J. Meseguer. Security policies and security models. Security and Privacy, IEEE Symposium on, 0:11, 1982."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1498765.1498787"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1266840.1266853"},{"key":"e_1_3_2_2_17_1","volume-title":"August","author":"Kalinksy D.","year":"2001","unstructured":"D. Kalinksy and R. Kalinsky . Introduction to I2C. Embedded Systems Programming, 14(8) , August 2001 . D. Kalinksy and R. Kalinsky. Introduction to I2C. Embedded Systems Programming, 14(8), August 2001."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646761.706156"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1456508.1456514"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2009.4798277"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.23"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378538"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_2_27_1","unstructured":"D. Schmidt. Foundations of abstract interpretation.  D. Schmidt. Foundations of abstract interpretation."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.502221"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024404"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669174"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250723"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273440.1250723"},{"key":"e_1_3_2_2_34_1","volume-title":"15th USENIX Security Symposium","author":"Xu W.","year":"2006","unstructured":"W. Xu , S. Bhatkar , and R. Sekar . Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks . In 15th USENIX Security Symposium , Vancouver, BC, Canada , August 2006 . W. Xu, S. Bhatkar, and R. Sekar. Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks. In 15th USENIX Security Symposium, Vancouver, BC, Canada, August 2006."}],"event":{"name":"ISCA '11: The 38th Annual International Symposium on Computer Architecture","location":"San Jose California USA","acronym":"ISCA '11","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","IEEE CS"]},"container-title":["Proceedings of the 38th annual international symposium on Computer architecture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000064.2000087","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000064.2000087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:56Z","timestamp":1750225736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000064.2000087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,4]]},"references-count":32,"alternative-id":["10.1145\/2000064.2000087","10.1145\/2000064"],"URL":"https:\/\/doi.org\/10.1145\/2000064.2000087","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2024723.2000087","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,6,4]]},"assertion":[{"value":"2011-06-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}