Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Swasey, David Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1710.07309.pdf (Preprint), 438KB
Garg, D., Hritcu, C., Patrignani, M., Stronati, M., & Swasey, D. (2017). Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). Retrieved from http://arxiv.org/abs/1710.07309.