Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Venue
PLDI 2023
Publication date
Jun 2023
Keywords
WebAssembly, formal verification, separation logic, higher-order logic
Identifiers
- DOI: doi:10.1145/3591265
Authors
- Xiaojia Rao
- Aïna Linn Georges
- Maxime Legoupil
- Conrad Watt
- Jean Pichon-Pharabod
- Philippa Gardner
- Lars Birkedal