Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Abate, C., Blanco, R., Garg, D., Hritcu, C., Patrignani, M., & Thibault., J. (2019). Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. In CSF 2019 (pp. 256-271). Piscataway, NJ: IEEE. doi:10.1109/CSF.2019.00025.