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
∙
08/29/2022
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
This tutorial provides a complete and homogeneous account of the latest ...
research
∙
08/02/2022
A Turning Point for Verified Spectre Sandboxing
Spectre attacks enable an attacker to access restricted data in an appli...
research
∙
05/01/2020
Automatically Eliminating Speculative Leaks With Blade
We introduce BLADE, a new approach to automatically and efficiently synt...
research
∙
10/21/2019