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
∙
04/21/2021
A Calculus for Flow-Limited Authorization
Real-world applications routinely make authorization decisions based on ...
research
∙
07/29/2018
