Zijie Zhao

WaVe: a verifiably secure WebAssembly sandboxing runtime

2023

The promise of software sandboxing is flexible, fast and portable isolation; capturing the benefits of hardwarebased memory protection without requiring operating system involvement. This promise is reified in WebAssembly (Wasm), a popular portable bytecode whose …