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)

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 (Zenodo, 2024)