MSWasm adds colored memory and pointers to Wasm, proves well-typed programs are robustly memory safe, and shows a C compiler plus native backends with 22-198% overhead.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2022 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
MSWasm adds colored memory and pointers to Wasm, proves well-typed programs are robustly memory safe, and shows a C compiler plus native backends with 22-198% overhead.