{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T14:50:08Z","timestamp":1777733408762,"version":"3.51.4"},"reference-count":46,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/csf.2014.10","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T10:29:10Z","timestamp":1416997750000},"page":"18-32","source":"Crossref","is-referenced-by-count":14,"title":["Portable Software Fault Isolation"],"prefix":"10.1109","author":[{"given":"Joshua A.","family":"Kroll","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon","family":"Stewart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew W.","family":"Appel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"},{"key":"ref33","first-page":"933","article-title":"Improved address-space switching on Pentium processors by transparently multiplexing user address spaces","author":"liedtke","year":"1995"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DISCEX.2000.821527"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863584"},{"key":"ref30","article-title":"The CompCert Memory Model, Version 2","author":"leroy","year":"2012"},{"key":"ref37","article-title":"Leveraging legacy code to deploy desktop applications on the web","author":"douceur","year":"2008","journal-title":"OSDI"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.44"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046713"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629581"},{"key":"ref10","year":"2009","journal-title":"Native Client Security Contest Google"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932501"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"ref13","year":"2012","journal-title":"Coq Development Team “The Coq proof assistant"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"ref15","article-title":"A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique","author":"mccamant","year":"2006"},{"key":"ref16","article-title":"Control- flow integrity: Principles, implementations, and applications","author":"abadi","year":"2005","journal-title":"CCS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254111"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038687"},{"key":"ref19","author":"pilkiewicz","year":"2011","journal-title":"FPdNaCl Formally proved Native Client inner sandbox validator"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043568"},{"key":"ref27","author":"chen","year":"2008","journal-title":"Native Client Issue Tracker Inner Sandbox Escape (call memory dereference)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/4434.708254"},{"key":"ref6","article-title":"Adapting software fault isolation to contemporary CPU architectures","author":"sehr","year":"2010","journal-title":"Usenix Security"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9099-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866331"},{"key":"ref8","article-title":"Evaluating SFI for a CISC architecture","author":"mccamant","year":"2006","journal-title":"Usenix Security"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993540"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.25"},{"key":"ref9","article-title":"BakerSFIeld: Bringing software fault isolation to x64","author":"kroll","year":"2009"},{"key":"ref1","article-title":"Efficient software-based fault isolation","author":"wahbe","year":"1994","journal-title":"SOSP"},{"key":"ref46","article-title":"Verified software toolchain","volume":"6602","author":"appel","year":"2011","journal-title":"Proceedings of the 20th European Symposium on Programming"},{"key":"ref20","year":"2011","journal-title":"PNaCl Portable Native Client Google"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103709"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref42","article-title":"Cyclone: A safe dialect of C","author":"jim","year":"2002","journal-title":"USENIX ATC"},{"key":"ref24","author":"anderson","year":"2008","journal-title":"Security Engineering A Guide to Building Dependable Distributed Systems"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"ref23","article-title":"XFI: Software guards for system address spaces","author":"erlingsson","year":"2006","journal-title":"OSDI"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319161"},{"key":"ref43","article-title":"Cyclone: A type-safe dialect of C","volume":"23","author":"grossman","year":"2005","journal-title":"C\/C++ User's Journal"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/15042.15043"}],"event":{"name":"2014 IEEE 27th Computer Security Foundations Symposium (CSF)","location":"Vienna","start":{"date-parts":[[2014,7,19]]},"end":{"date-parts":[[2014,7,22]]}},"container-title":["2014 IEEE 27th Computer Security Foundations Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6954678\/6957090\/06957100.pdf?arnumber=6957100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T23:47:21Z","timestamp":1490312841000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6957100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/csf.2014.10","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}