June Rousseau

According to our database, June Rousseau authored at least 2 papers in 2024.

Collaborative distances:

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

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