Title
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation Akram El-Korashy Roberto Blanco Jérémy Thibault Adrien Durier Deepak Garg Cătălin Hriţcu LRM 46 8 0 04 Oct 2021
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly Carmine Abate Matteo Busi Stelios Tsampas 12 3 0 26 Jun 2020