Search filters

List of works by Aïna Linn Georges

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

scientific article published on 14 September 2023

Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly

scientific article published on 08 October 2024

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

scientific article published on 06 June 2023

Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities

scientific article published on 29 April 2022

Paulina is supported by:

About Paulina

Help