Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
3436809.pdf (Publisher version), 3MB
Patrignani, M., & Garg, D. (2021). Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems, 43(1), 1-41. doi:10.1145/3436809.