WaVe - A Verifiably Secure WebAssembly Sandboxing Runtime

Explore a conference talk that introduces WaVe, a verifiably secure WebAssembly sandboxing runtime. Delve into the collaborative efforts of researchers from UC San Diego, Stanford, UIUC, Fastly Labs, and Carnegie Mellon University as they present their innovative approach to enhancing security in WebAssembly environments. Learn about the key features and design principles of WaVe, understanding how it addresses the challenges of creating a secure sandboxing runtime for WebAssembly applications. Gain insights into the verification process used to ensure the runtime's security properties and its potential impact on web-based application development and deployment.

WaVe: A Verifiably Secure WebAssembly Sandboxing Runtime