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
Computer SecurityStanford University via Coursera Cryptography II
Stanford University via Coursera Malicious Software and its Underground Economy: Two Sides to Every Story
University of London International Programmes via Coursera Building an Information Risk Management Toolkit
University of Washington via Coursera Introduction to Cybersecurity
National Cybersecurity Institute at Excelsior College via Canvas Network