WaVe: A Verifiably Secure WebAssembly Sandboxing Runtime
▶WaVe: A Verifiably Secure WebAssembly Sandboxing Runtime — a 2023 IEEE S&P 2023 Sessions security conference talk on web-appsec (17:34 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube