WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing

POPL 2020