TY  - RPRT
TI  - SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
AU  - Cezar-Constantin Andrici
AU  - Danel Ahman
AU  - Catalin Hritcu
AU  - Ruxandra Icleanu
AU  - Guido Martínez
AU  - Exequiel Rivas
AU  - Théo Winterhalter
PY  - 2025
UR  - https://arxiv.org/abs/2503.00404
ID  - 2503.00404
ER  -