There is a newer version of the record available.

Published June 13, 2025 | Version v1
Software Open

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F* - ICFP 2025 Artifact

Authors/Creators

  • 1. ROR icon University of Tartu
  • 2. Max Planck Institute for Security and Privacy (MPI-SP)
  • 3. EDMO icon University of Edinburgh
  • 4. ROR icon Tallinn University of Technology
  • 5. ROR icon Centre Inria de Saclay

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
md5:9685af32212e68f182642d1370220d50
50.2 kB Download
md5:5e5bea7d78092bf972e19d5b3d9446cc
7.0 kB Preview Download
md5:0d5f3ecc58d85cc4b8c81fc076f199db
1.7 GB Download