June Rousseau

According to our database, June Rousseau authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Cerisier: A Program Logic for Attestation in a Capability Machine.

June Rousseau, Denis Carnier, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese, Lars Birkedal

CoRR, April, 2026

2024

Artifact and Appendix of 'Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly'.

Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, Lars Birkedal

Dataset, August, 2024

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

Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, Lars Birkedal

Proc. ACM Program. Lang., 2024