Published June 13, 2025
| Version v1
Software
Open
SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F* - ICFP 2025 Artifact
Creators
-
1.
University of Tartu
- 2. Max Planck Institute for Security and Privacy (MPI-SP)
-
3.
University of Edinburgh
-
4.
Tallinn University of Technology
-
5.
Inria Saclay - Île de France
Description
This contains the artifact for the ICFP 2025 submission "SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*".
The F* sources and build scripts are packaged in a tarball, and can be verified and run with F* version 2025.06.13. A virtual machine image is also included, containing and all dependencies needed to verify and run the artifact.
The files and README are also present in this GitHub repository: https://github.com/andricicezar/fstar-io/tree/master/secrefstar
Files
README.md
Files
(1.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:9685af32212e68f182642d1370220d50
|
50.2 kB | Download |
|
md5:5e5bea7d78092bf972e19d5b3d9446cc
|
7.0 kB | Preview Download |
|
md5:0d5f3ecc58d85cc4b8c81fc076f199db
|
1.7 GB | Download |