research
∙
08/29/2022
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Most programs compiled to WebAssembly (Wasm) today are written in unsafe...
share
research
∙
05/12/2021
SoK: Practical Foundations for Spectre Defenses
Spectre vulnerabilities violate our fundamental assumptions about archit...
research
∙
02/25/2021
Swivel: Hardening WebAssembly against Spectre
We describe Swivel, a new compiler framework for hardening WebAssembly (...
research
∙
03/01/2020
Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)
Firefox and other major browsers rely on dozens of third-party libraries...
research
∙
10/03/2019