June Rousseau -

Registered user since Mon 11 Dec 2023

Name:June Rousseau

Country:Denmark

Affiliation:Aarhus University

Personal website: https://junerousseau.github.io/

GitHub: https://github.com/JuneRousseau

Contributions

2026

PLDI

Author of Cerisier: A Program Logic for Attestation in a Capability Machine within the PLDI Research Papers-track

2024

SPLASH

Author of Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly within the OOPSLA 2024-track

POCL

Author of Proving capability safety in the presence of indirect sentries within the POCL 2024-track