research
∙
02/27/2023
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)
Capability-based memory isolation is a promising new architectural primi...
share
research
∙
08/29/2022
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Most programs compiled to WebAssembly (Wasm) today are written in unsafe...
research
∙
04/30/2021
Isolation Without Taxation: Near Zero Cost Transitions for SFI
Almost all SFI systems use heavyweight transitions that incur significan...
research
∙
05/21/2020
Repairing and Mechanising the JavaScript Relaxed Memory Model
Modern JavaScript includes the SharedArrayBuffer feature, which provides...
research
∙
11/08/2018
A Program Logic for First-Order Encapsulated WebAssembly
WebAssembly (Wasm) is the first new programming language in over 20 year...
research
∙
08/03/2018