@misc{indiciae77e0ae58be30,
  title = {Securing Verified IO Programs Against Unverified Code in F*},
  author = {Cezar-Constantin Andrici and Stefan Ciobaca and Catalin Hritcu and Guido Martínez and Exequiel Rivas and Éric Tanter and Théo Winterhalter},
  year = {2023},
  doi = {10.1145/3632916},
  url = {https://arxiv.org/abs/2303.01350},
  note = {Source identifier: 2303.01350}
}