Search filters

List of works by Jean Pichon-Pharabod

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic

scientific article published on 05 January 2024

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

VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A

scientific article published on 06 June 2023

Paulina is supported by:

About Paulina

Help