{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:41:26Z","timestamp":1773193286721,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,12,12]],"date-time":"2009-12-12T00:00:00Z","timestamp":1260576000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["CCF-0448654FA9550-07-1-0532 (AFOSR MURI)0627749"],"award-info":[{"award-number":["CCF-0448654FA9550-07-1-0532 (AFOSR MURI)0627749"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0448654FA9550-07-1-0532 (AFOSR MURI)0627749"],"award-info":[{"award-number":["CCF-0448654FA9550-07-1-0532 (AFOSR MURI)0627749"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-0448654FA9550-07-1-0532 (AFOSR MURI)0627749"],"award-info":[{"award-number":["CCF-0448654FA9550-07-1-0532 (AFOSR MURI)0627749"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,12,12]]},"DOI":"10.1145\/1669112.1669174","type":"proceedings-article","created":{"date-parts":[[2009,12,21]],"date-time":"2009-12-21T15:04:58Z","timestamp":1261407898000},"page":"493-504","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":65,"title":["Execution leases"],"prefix":"10.1145","author":[{"given":"Mohit","family":"Tiwari","sequence":"first","affiliation":[{"name":"University of California, Santa Barbara"}]},{"given":"Xun","family":"Li","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}]},{"given":"Hassan M. G.","family":"Wassel","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}]},{"given":"Frederic T.","family":"Chong","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}]},{"given":"Timothy","family":"Sherwood","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}]}],"member":"320","published-online":{"date-parts":[[2009,12,12]]},"reference":[{"key":"e_1_3_2_1_1_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_1_2_1","unstructured":"What does cc eal6+ mean? http:\/\/www.ok-labs.com\/blog\/entry\/what-does-cc-eal6-mean\/.  What does cc eal6+ mean? http:\/\/www.ok-labs.com\/blog\/entry\/what-does-cc-eal6-mean\/."},{"key":"e_1_3_2_1_3_1","volume-title":"12th Annual Network and Distributed System Security Symposium (NDSS '05)","author":"Newsome James","year":"2005"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11967668_15"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.26"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J. Daemen and V. Rijmen. The design of rijndael: Aes - the advanced encryption standard. 2002.   J. Daemen and V. Rijmen. The design of rijndael: Aes - the advanced encryption standard. 2002.","DOI":"10.1007\/978-3-662-04722-4_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250722"},{"key":"e_1_3_2_1_9_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_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.106971"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/357369.357374"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646761.706156"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.23"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294293"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/362375.362389"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.14"},{"key":"e_1_3_2_1_17_1","volume-title":"Butterworth-Heinemann","author":"Levy H. M.","year":"1984"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379237"},{"key":"e_1_3_2_1_19_1","volume-title":"International Conference on, 0: 133","author":"Martin W.","year":"2000"},{"key":"e_1_3_2_1_20_1","volume-title":"America in the Age of Information","author":"Mclean J.","year":"1995"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766906"},{"key":"e_1_3_2_1_22_1","unstructured":"A. C. Myers N. Nystrom L. Zheng and S. Zdancewic. Jif: Java information flow. Software release. http:\/\/www.cs.cornell.edu\/jif July 2001.  A. C. Myers N. Nystrom L. Zheng and S. Zdancewic. Jif: Java information flow. Software release. http:\/\/www.cs.cornell.edu\/jif July 2001."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11605805_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542484"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378538"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.502221"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.179"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024404"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.31"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2008.4658637"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/353629.353648"},{"key":"e_1_3_2_1_36_1","first-page":"351","volume-title":"Proceedings of the 36th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"Yang J."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267308.1267327"}],"event":{"name":"Micro-42: The 42nd Annual IEEE\/ACM International Symposium on Microarchitecture","location":"New York New York","acronym":"Micro-42","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE-CS TG u-Arch"]},"container-title":["Proceedings of the 42nd Annual IEEE\/ACM International Symposium on Microarchitecture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1669112.1669174","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1669112.1669174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:40:57Z","timestamp":1750250457000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1669112.1669174"}},"subtitle":["a hardware-supported mechanism for enforcing strong non-interference"],"short-title":[],"issued":{"date-parts":[[2009,12,12]]},"references-count":36,"alternative-id":["10.1145\/1669112.1669174","10.1145\/1669112"],"URL":"https:\/\/doi.org\/10.1145\/1669112.1669174","relation":{},"subject":[],"published":{"date-parts":[[2009,12,12]]},"assertion":[{"value":"2009-12-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}