Jeppe Fredsgaard Blaabjerg

<scp>Wanilla:</scp> Sound Noninterference Analysis for WebAssembly

2025

WebAssembly (Wasm) is rapidly gaining popularity as a distribution format for software components embedded in various security-critical domains. Unfortunately, despite its prudent design, WebAssembly's primary use case as a compilation target for memory-unsafe languages leaves …