@misc{indiciaecc4f2145f0cf,
  title = {Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation},
  author = {Carmine Abate and Roberto Blanco and Deepak Garg and Catalin Hritcu and Marco Patrignani and Jérémy Thibault},
  year = {2019},
  doi = {10.1109/csf.2019.00025},
  url = {https://arxiv.org/abs/1807.04603},
  note = {Source identifier: 1807.04603}
}