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.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39, 11 (2020), 3492–3505
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.