{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:33:08Z","timestamp":1777105988615,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,11]],"date-time":"2009-10-11T00:00:00Z","timestamp":1255219200000},"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":[[2009,10,11]]},"DOI":"10.1145\/1629575.1629581","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"45-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":119,"title":["Fast byte-granularity software fault isolation"],"prefix":"10.1145","author":[{"given":"Miguel","family":"Castro","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Costa","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Martin","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcus","family":"Peinado","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Periklis","family":"Akritidis","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Austin","family":"Donnelly","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Barham","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Black","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102165"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.30"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542488"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/OPNARC.2002.1019235"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/795669.796803"},{"key":"e_1_3_2_1_9_1","volume-title":"Get more device drivers out of the kernel! In Linux Symposium","author":"Chubb P.","year":"2004","unstructured":"P. Chubb . Get more device drivers out of the kernel! In Linux Symposium , 2004 . P. Chubb. Get more device drivers out of the kernel! In Linux Symposium, 2004."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294295"},{"key":"e_1_3_2_1_11_1","volume-title":"OSDI","author":"Erlingsson U.","year":"2006","unstructured":"U. Erlingsson , M. Abadi , M. Vrable , M. Budiu , and G.C. Necula . XFI: software guards for system address spaces . In OSDI , 2006 . U. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G.C. Necula. XFI: software guards for system address spaces. In OSDI, 2006."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. USENIX Mach Symposium","author":"Forin A.","year":"1991","unstructured":"A. Forin , D. Golub , and B. Bershad . An I\/O system for Mach 3.0 . In Proc. USENIX Mach Symposium , 1991 . A. Forin, D. Golub, and B. Bershad. An I\/O system for Mach 3.0. In Proc. USENIX Mach Symposium, 1991."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353534.1346303"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1296907.1296911"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_1_16_1","unstructured":"L.H. Linux Kernel Heap Tampering Detection. Phrack 13(66) 2009.  L.H. Linux Kernel Heap Tampering Detection. Phrack 13(66) 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134319"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151391"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_21_1","volume-title":"Black Hat","author":"Ionescu A.","year":"2008","unstructured":"A. Ionescu . Pointers and Handles: A Story of Unchecked Assumptions in the Windows Kernel . In Black Hat , 2008 . A. Ionescu. Pointers and Handles: A Story of Unchecked Assumptions in the Windows Kernel. In Black Hat, 2008."},{"key":"e_1_3_2_1_22_1","volume-title":"Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference","author":"Jim T.","year":"2002","unstructured":"T. Jim , J.G. Morrisett , D. Grossman , M.W. Hicks , J. Cheney , and Y. Wang . Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference , 2002 . T. Jim, J.G. Morrisett, D. Grossman, M.W. Hicks, J. Cheney, and Y. Wang. Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference, 2002."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647253.720293"},{"key":"e_1_3_2_1_25_1","volume-title":"SyScan'08 Hong Kong","author":"Kortchinsky K.","year":"2008","unstructured":"K. Kortchinsky . Real World Kernel Pool Exploitation . In SyScan'08 Hong Kong , 2008 . K. Kortchinsky. Real World Kernel Pool Exploitation. In SyScan'08 Hong Kong, 2008."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-005-0654-4"},{"key":"e_1_3_2_1_27_1","volume-title":"OSDI","author":"LeVasseur J.","year":"2004","unstructured":"J. LeVasseur , V. Uhlig , J. Stoess , and S. Gotz . Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines . In OSDI , 2004 . J. LeVasseur, V. Uhlig, J. Stoess, and S. Gotz. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines. In OSDI, 2004."},{"key":"e_1_3_2_1_28_1","volume-title":"USENIX Security Symposium","author":"McCamant S.","year":"2006","unstructured":"S. McCamant and G. Morrisett . Evaluating SFI for a CISC architecture . In USENIX Security Symposium , 2006 . S. McCamant and G. Morrisett. Evaluating SFI for a CISC architecture. In USENIX Security Symposium, 2006."},{"key":"e_1_3_2_1_29_1","unstructured":"Microsoft. Phoenix SDK. http:\/\/connect.microsoft.com\/Phoenix.  Microsoft. Phoenix SDK. http:\/\/connect.microsoft.com\/Phoenix."},{"key":"e_1_3_2_1_30_1","unstructured":"Microsoft. User-Mode Driver Framework. http:\/\/www.microsoft.com\/whdc\/driver\/wdf\/UMDF.mspx.  Microsoft. User-Mode Driver Framework. http:\/\/www.microsoft.com\/whdc\/driver\/wdf\/UMDF.mspx."},{"key":"e_1_3_2_1_31_1","unstructured":"Microsoft. Windows Driver Kit. http:\/\/www.microsoft.com\/wdk.  Microsoft. Windows Driver Kit. http:\/\/www.microsoft.com\/wdk."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503286"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.181.0004"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238779"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/4434.708254"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_39_1","volume-title":"USENIX Annual Technical Conference","author":"Sugerman J.","year":"2001","unstructured":"J. Sugerman , G. Venkitachalam , and B.-H. Lim . Virtualizing I\/O devices on V Mware Workstation's hosted virtual machine monitor . In USENIX Annual Technical Conference , 2001 . J. Sugerman, G. Venkitachalam, and B.-H. Lim. Virtualizing I\/O devices on VMware Workstation's hosted virtual machine monitor. In USENIX Annual Technical Conference, 2001."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1991.146625"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189257"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047915.1047919"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_44_1","volume-title":"OSDI","author":"Williams D.","year":"2008","unstructured":"D. Williams , P. Reynolds , K. Walsh , E.G. Sirer , and F.B. Schneider . Device driver safety through a reference validation mechanism . In OSDI , 2008 . D. Williams, P. Reynolds, K. Walsh, E.G. Sirer, and F.B. Schneider. Device driver safety through a reference validation mechanism. In OSDI, 2008."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095814"},{"key":"e_1_3_2_1_46_1","volume-title":"OSDI","author":"Zhou F.","year":"2006","unstructured":"F. Zhou , J. Condit , Z. Anderson , I. Bagrak , R. Ennals , M. Harren , G. Necula , and E. Brewer . SafeDrive: safe and recoverable extensions using language-based techniques . In OSDI , 2006 . F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. SafeDrive: safe and recoverable extensions using language-based techniques. In OSDI, 2006."}],"event":{"name":"SOSP09: ACM SIGOPS 22nd Symposium on Operating Systems Principles","location":"Big Sky Montana USA","acronym":"SOSP09","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629575.1629581","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629575.1629581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:27Z","timestamp":1750249407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629575.1629581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,11]]},"references-count":44,"alternative-id":["10.1145\/1629575.1629581","10.1145\/1629575"],"URL":"https:\/\/doi.org\/10.1145\/1629575.1629581","relation":{},"subject":[],"published":{"date-parts":[[2009,10,11]]},"assertion":[{"value":"2009-10-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}