Building principled and practical secure systems using Wasm
Deian Stefan
Professor - UCSD
Add to Calendar
2024-05-16 12:00:00
2024-05-16 13:00:00
America/New_York
Building principled and practical secure systems using Wasm
In this talk I'm going to talk about our adventures (ab)using WebAssembly tobuild more secure systems. Wasm---at least in my view---is a secure compilationintermediate representation. It makes it possible for us to compile(potentially unsafe) code to a single IR, where we enforce different securityproperties, and compile this retrofitted code to native code, where it runssecurely (e.g., isolated from every other piece of code). I'll start with ourwork sandboxing third-party C libraries in Firefox, our work speeding up andverifying Wasm compilers and runtimes, and our most recent work designinghardware extensions (and abusing existing ones) to both speed up Wasm andaddress different classes of attacks on Wasm especially as used by hyperscalers.
D463 (Star)