WaVe - A Verifiably Secure WebAssembly Sandboxing Runtime
Offered By: IEEE via YouTube
Course Description
Overview
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.
Syllabus
WaVe: A Verifiably Secure WebAssembly Sandboxing Runtime
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Sensor SecurityIEEE via YouTube Tracking Ransomware End-to-end
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube