TY  - RPRT
TI  - Securing Verified IO Programs Against Unverified Code in F*
AU  - Cezar-Constantin Andrici
AU  - Stefan Ciobaca
AU  - Catalin Hritcu
AU  - Guido Martínez
AU  - Exequiel Rivas
AU  - Éric Tanter
AU  - Théo Winterhalter
PY  - 2023
DO  - 10.1145/3632916
UR  - https://arxiv.org/abs/2303.01350
ID  - 2303.01350
ER  -