{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T21:14:40Z","timestamp":1774127680935,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T00:00:00Z","timestamp":1561248000000},"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":[[2019,6,23]]},"DOI":"10.1145\/3337167.3337171","type":"proceedings-article","created":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T13:52:32Z","timestamp":1561384352000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Position Paper"],"prefix":"10.1145","author":[{"given":"Craig","family":"Disselkoen","sequence":"first","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Renner","sequence":"additional","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Conrad","family":"Watt","sequence":"additional","affiliation":[{"name":"University of Cambridge"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tal","family":"Garfinkel","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Levy","sequence":"additional","affiliation":[{"name":"Princeton University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deian","family":"Stefan","sequence":"additional","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"USENIX","author":"Akritidis P.","year":"2009","unstructured":"P. Akritidis , M. Costa , M. Castro , and S. Hand . Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors . USENIX , 2009 . P. Akritidis, M. Costa, M. Castro, and S. Hand. Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors. USENIX, 2009."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336769"},{"key":"e_1_3_2_1_3_1","volume-title":"USENIX","author":"Carlini N.","year":"2015","unstructured":"N. Carlini , A. Barresi , M. Payer , D. Wagner , and T. R. Gross . Control-flow bending: On the effectiveness of control-flow integrity . USENIX , 2015 . N. Carlini, A. Barresi, M. Payer, D. Wagner, and T. R. Gross. Control-flow bending: On the effectiveness of control-flow integrity. USENIX, 2015."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250722"},{"key":"e_1_3_2_1_5_1","volume-title":"USENIX","author":"Dang T. H. Y.","year":"2017","unstructured":"T. H. Y. Dang , P. Maniatis , and D. A. Wagner . Oscar: A practical page-permissions-based scheme for thwarting dangling pointers . USENIX , 2017 . T. H. Y. Dang, P. Maniatis, and D. A. Wagner. Oscar: A practical page-permissions-based scheme for thwarting dangling pointers. USENIX, 2017."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304042"},{"key":"e_1_3_2_1_7_1","volume-title":"The meaning of memory safety. arXiv:1705.07354","author":"de Amorim A. A.","year":"2017","unstructured":"A. A. de Amorim , C. Hritcu , and B. C. Pierce . The meaning of memory safety. arXiv:1705.07354 , 2017 . A. A. de Amorim, C. Hritcu, and B. C. Pierce. The meaning of memory safety. arXiv:1705.07354, 2017."},{"key":"e_1_3_2_1_8_1","volume-title":"Can i use WebAssembly?","author":"Deveria A.","year":"2019","unstructured":"A. Deveria . Can i use WebAssembly? , 2019 . https:\/\/caniuse.com\/#feat=wasm. A. Deveria. Can i use WebAssembly?, 2019. https:\/\/caniuse.com\/#feat=wasm."},{"key":"e_1_3_2_1_9_1","unstructured":"G. J. Duck. LowFat. https:\/\/github.com\/GJDuck\/LowFat.  G. J. Duck. LowFat. https:\/\/github.com\/GJDuck\/LowFat."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892212"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2018.00015"},{"key":"e_1_3_2_1_12_1","unstructured":"GCC Wiki. Intel Memory Protection Extensions (Intel MPX) support in the GCC compiler. http:\/\/gcc.gnu.org\/wiki\/Intel%20MPX%20support%20in%20the%20GCC%20compiler 2018.  GCC Wiki. Intel Memory Protection Extensions (Intel MPX) support in the GCC compiler. http:\/\/gcc.gnu.org\/wiki\/Intel%20MPX%20support%20in%20the%20GCC%20compiler 2018."},{"key":"e_1_3_2_1_13_1","volume-title":"Sep","author":"Gretton-Dann M.","year":"2018","unstructured":"M. Gretton-Dann . Arm A-Profile architecture developments 2018: Armv8.5-A , Sep 2018 . https:\/\/community.arm.com\/processors\/b\/blog\/posts\/arm-a-profile-architecture-2018-developments-armv85a. M. Gretton-Dann. Arm A-Profile architecture developments 2018: Armv8.5-A, Sep 2018. https:\/\/community.arm.com\/processors\/b\/blog\/posts\/arm-a-profile-architecture-2018-developments-armv85a."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786558.2786565"},{"key":"e_1_3_2_1_15_1","volume-title":"https:\/\/community.arm.com\/blog\/company\/b\/blog\/posts\/supporting-the-uk-in-becoming-a-leading-global-player-in-cybersecurity","author":"Grisenthwaite R.","year":"2019","unstructured":"R. Grisenthwaite . Supporting the UK in becoming a leading global player in cybersecurity. https:\/\/community.arm.com\/blog\/company\/b\/blog\/posts\/supporting-the-uk-in-becoming-a-leading-global-player-in-cybersecurity , 2019 . R. Grisenthwaite. Supporting the UK in becoming a leading global player in cybersecurity. https:\/\/community.arm.com\/blog\/company\/b\/blog\/posts\/supporting-the-uk-in-becoming-a-leading-global-player-in-cybersecurity, 2019."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302505.3310084"},{"key":"e_1_3_2_1_18_1","volume-title":"Mar","author":"Hickey P.","year":"2019","unstructured":"P. Hickey . Announcing Lucet: Fastly's native WebAssembly compiler and runtime , Mar 2019 . P. Hickey. Announcing Lucet: Fastly's native WebAssembly compiler and runtime, Mar 2019."},{"key":"e_1_3_2_1_19_1","volume-title":"International Organization for Standardization","author":"Information","year":"2018","unstructured":"Information technology -- programming languages -- C. Standard , International Organization for Standardization , June 2018 . Information technology -- programming languages -- C. Standard, International Organization for Standardization, June 2018."},{"key":"e_1_3_2_1_20_1","volume-title":"ATEC '02","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 . ATEC '02 . USENIX Association , 2002 . T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. ATEC '02. USENIX Association, 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.112"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062376"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190553"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516713"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23238"},{"key":"e_1_3_2_1_26_1","volume-title":"CoRR","author":"Liljestrand H.","year":"2018","unstructured":"H. Liljestrand , T. Nyman , K. Wang , C. C. Perez , J. Ekberg , and N. Asokan . PAC it up: Towards pointer integrity using ARM pointer authentication . CoRR , 2018 . H. Liljestrand, T. Nyman, K. Wang, C. C. Perez, J. Ekberg, and N. Asokan. PAC it up: Towards pointer integrity using ARM pointer authentication. CoRR, 2018."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243826"},{"key":"e_1_3_2_1_28_1","unstructured":"lowRISC. lowRISC: A fully open-sourced linux-capable system-on-a-chip. https:\/\/www.lowrisc.org\/.  lowRISC. lowRISC: A fully open-sourced linux-capable system-on-a-chip. https:\/\/www.lowrisc.org\/."},{"key":"e_1_3_2_1_29_1","volume-title":"Blackhat briefings","author":"McFadden B.","year":"2018","unstructured":"B. McFadden , T. Lukasiewicz , J. Dileo , and J. Engler . WebAssembly: A new world of native exploits on the browser . In Blackhat briefings 2018 , 2018. B. McFadden, T. Lukasiewicz, J. Dileo, and J. Engler. WebAssembly: A new world of native exploits on the browser. In Blackhat briefings 2018, 2018."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290380"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908081"},{"key":"e_1_3_2_1_32_1","volume-title":"challenges, and strategic shifts in the software vulnerability mitigation landscape. https:\/\/www.youtube.com\/watch?v=PjbGojjnBZQ","author":"Miller M.","year":"2019","unstructured":"M. Miller . Trends , challenges, and strategic shifts in the software vulnerability mitigation landscape. https:\/\/www.youtube.com\/watch?v=PjbGojjnBZQ , 2019 . BlueHat . M. Miller. Trends, challenges, and strategic shifts in the software vulnerability mitigation landscape. https:\/\/www.youtube.com\/watch?v=PjbGojjnBZQ, 2019. BlueHat."},{"key":"e_1_3_2_1_33_1","volume-title":"ISCA","author":"Nagarakatte S.","year":"2012","unstructured":"S. Nagarakatte , M. M. K. Martin , and S. Zdancewic . Watchdog: Hardware for safe and secure manual memory management and full memory safety . ISCA , 2012 . S. Nagarakatte, M. M. K. Martin, and S. Zdancewic. Watchdog: Hardware for safe and secure manual memory management and full memory safety. ISCA, 2012."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_35_1","volume-title":"https:\/\/nodejs.org\/en\/","year":"2019","unstructured":"Node.js Foundation. Node.js. https:\/\/nodejs.org\/en\/ , 2019 . Node.js Foundation. Node.js. https:\/\/nodejs.org\/en\/, 2019."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3224423"},{"key":"e_1_3_2_1_37_1","volume-title":"July","author":"Parkinson M.","year":"2017","unstructured":"M. Parkinson , K. Vaswani , M. Costa , P. Deligiannis , A. Blankstein , D. McDermott , J. Balkind , and D. Vytiniotis . Project Snowflake: Non-blocking safe manual memory management in .NET. Technical report , July 2017 . M. Parkinson, K. Vaswani, M. Costa, P. Deligiannis, A. Blankstein, D. McDermott, J. Balkind, and D. Vytiniotis. Project Snowflake: Non-blocking safe manual memory management in .NET. Technical report, July 2017."},{"key":"e_1_3_2_1_38_1","volume-title":"Examining pointer authentication on the iPhone XS. https:\/\/googleprojectzero.blogspot.com\/2019\/02\/examining-pointer-authentication-on.html","author":"Zero Project","year":"2019","unstructured":"Project Zero . Examining pointer authentication on the iPhone XS. https:\/\/googleprojectzero.blogspot.com\/2019\/02\/examining-pointer-authentication-on.html , 2019 . Project Zero. Examining pointer authentication on the iPhone XS. https:\/\/googleprojectzero.blogspot.com\/2019\/02\/examining-pointer-authentication-on.html, 2019."},{"key":"e_1_3_2_1_39_1","volume-title":"USENIX","author":"Serebryany K.","year":"2012","unstructured":"K. Serebryany , D. Bruening , A. Potapenko , and D. Vyukov . AddressSanitizer: A fast address sanity checker . USENIX , 2012 . K. Serebryany, D. Bruening, A. Potapenko, and D. Vyukov. AddressSanitizer: A fast address sanity checker. USENIX, 2012."},{"key":"e_1_3_2_1_40_1","volume-title":"Memory tagging and how it improves C\/C++ memory safety. CoRR, abs\/1802.09517","author":"Serebryany K.","year":"2018","unstructured":"K. Serebryany , E. Stepanov , A. Shlyapnikov , V. Tsyrklevich , and D. Vyukov . Memory tagging and how it improves C\/C++ memory safety. CoRR, abs\/1802.09517 , 2018 . K. Serebryany, E. Stepanov, A. Shlyapnikov, V. Tsyrklevich, and D. Vyukov. Memory tagging and how it improves C\/C++ memory safety. CoRR, abs\/1802.09517, 2018."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064211"},{"key":"e_1_3_2_1_42_1","volume-title":"Dec","author":"Varda K.","year":"2018","unstructured":"K. Varda . WebAssembly on Cloudflare workers , Dec 2018 . K. Varda. WebAssembly on Cloudflare workers, Dec 2018."},{"key":"e_1_3_2_1_43_1","volume-title":"WebAssembly core specification","author":"C.","year":"2019","unstructured":"W3 C. WebAssembly core specification , 2019 . https:\/\/webassembly.github.io\/spec\/core\/bikeshed\/index.html#data-segments%E2%91%A0. W3C. WebAssembly core specification, 2019. https:\/\/webassembly.github.io\/spec\/core\/bikeshed\/index.html#data-segments%E2%91%A0."},{"key":"e_1_3_2_1_44_1","volume-title":"Wasmer - universal WebAssembly runtime. https:\/\/wasmer.io\/","year":"2019","unstructured":"Wasmer. Wasmer - universal WebAssembly runtime. https:\/\/wasmer.io\/ , 2019 . Wasmer. Wasmer - universal WebAssembly runtime. https:\/\/wasmer.io\/, 2019."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.9"},{"key":"e_1_3_2_1_46_1","unstructured":"WebAssembly Community Group. WebAssembly 2018. http:\/\/webassembly.org.  WebAssembly Community Group. WebAssembly 2018. http:\/\/webassembly.org."},{"key":"e_1_3_2_1_47_1","volume-title":"GC extension","author":"WebAssembly Community Group","year":"2019","unstructured":"WebAssembly Community Group . GC extension , 2019 . https:\/\/github.com\/WebAssembly\/gc\/blob\/master\/proposals\/gc\/Overview.md. WebAssembly Community Group. GC extension, 2019. https:\/\/github.com\/WebAssembly\/gc\/blob\/master\/proposals\/gc\/Overview.md."},{"key":"e_1_3_2_1_48_1","unstructured":"WebAssembly Community Group. Semantics 2019. https:\/\/github.com\/WebAssembly\/design\/blob\/master\/Semantics.md.  WebAssembly Community Group. Semantics 2019. https:\/\/github.com\/WebAssembly\/design\/blob\/master\/Semantics.md."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23190"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"},{"key":"e_1_3_2_1_51_1","volume-title":"Compiling to WebAssembly: It's Happening!","author":"Zakai A.","year":"2015","unstructured":"A. Zakai . Compiling to WebAssembly: It's Happening! , 2015 . https:\/\/hacks.mozilla.org\/2015\/12\/compiling-to-webassembly-its-happening\/. A. Zakai. Compiling to WebAssembly: It's Happening!, 2015. https:\/\/hacks.mozilla.org\/2015\/12\/compiling-to-webassembly-its-happening\/."}],"event":{"name":"HASP '19: Workshop on Hardware and Architectural Support for Security and Privacy","location":"Phoenix AZ USA","acronym":"HASP '19"},"container-title":["Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3337167.3337171","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3337167.3337171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:04Z","timestamp":1750199584000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3337167.3337171"}},"subtitle":["Progressive Memory Safety for WebAssembly"],"short-title":[],"issued":{"date-parts":[[2019,6,23]]},"references-count":51,"alternative-id":["10.1145\/3337167.3337171","10.1145\/3337167"],"URL":"https:\/\/doi.org\/10.1145\/3337167.3337171","relation":{},"subject":[],"published":{"date-parts":[[2019,6,23]]},"assertion":[{"value":"2019-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}