Published November 14, 2023
| Version 1
Software
Open
Artifact for the POPL 2024 paper `Securing Verified IO Programs Against Unverified Code in F*`
Creators
-
1.
Max Planck Institute for Security and Privacy
-
2.
Alexandru Ioan Cuza University
- 3. Microsoft Research (USA)
-
4.
Tallinn University of Technology
-
5.
University of Chile
-
6.
Inria Saclay - Île-de-France Research Centre
Files
README.md
Files
(66.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:b232596d3f1c076276009640dfb45c5a
|
12.4 kB | Preview Download |
|
md5:bece1415085c4b18182d7135d8e8e8ab
|
54.1 kB | Download |
Additional details
Related works
- Is supplement to
- Conference proceeding: 10.1145/3632916 (DOI)