WaVe: a verifiably secure WebAssembly sandboxing runtime.

Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown

Browse the full SP paper archive.