Published August 28, 2024
| Version v1
Software
Open
Artifact and Appendix of 'Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly'
Creators
-
1.
Aarhus University
-
2.
Max Planck Institute for Software Systems
- 3. Aarhus Universitet
Description
This is the artifact and appendix of the OOPSLA '24 paper 'Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly'. The artifact contains the coq source code as well as a readme.md file that explains how to build the project and where to find the different parts of the paper. The appendix is a pdf that contains figures that were elided in the paper for space constraints.
Files
appendix.pdf
Files
(1.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e0b5c5cf7a6ac76dcca7642864013c4f
|
355.5 kB | Preview Download |
|
md5:82e7d1bf6ce6215b612844b9309a0ef8
|
691.0 kB | Download |