flâneur

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

cseweb.ucsd.edu · 8,818 words · saved by 1 readers

N/A

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code ALEXANDRA E. MICHAEL∗ , UCSD, USA and University of Washington, USA ANITHA GOLLAMUDI∗ , University of Massachusetts Lowell, USA JAY BOSAMIYA, CMU, USA EVAN JOHNSON, UCSD and Arm Ltd, USA AIDAN DENLINGER, UCSD, USA CRAIG DISSELKOEN, UCSD, USA CONRAD WATT, University of Cambridge, UK BRYAN PARNO, CMU, USA MARCO PATRIGNANI, University of Trento, Italy MARCO VASSENA, Utrecht University, Netherlands DEIAN STEFAN, UCSD, USA Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately,…

saved by

related reading