Wanilla: Sound Noninterference Analysis for WebAssembly.

Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjsten, Matteo Maffei

Browse the full CCS paper archive.