@misc{indiciae425934e47d17,
  title = {SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation},
  author = {Akram El-Korashy and Roberto Blanco and Jérémy Thibault and Adrien Durier and Deepak Garg and Catalin Hritcu},
  year = {2022},
  url = {https://arxiv.org/abs/2110.01439},
  note = {Source identifier: 2110.01439}
}