El-Korashy, A., Blanco, R., Thibault, J., Durier, A., Garg, D., & Hritcu, C. (2022). SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. In 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (pp. 64–79).