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).