@article{Abate2018JourneyBF,
  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 Jeremy Thibault},
  journal={2019 IEEE 32nd Computer Security Foundations Symposium (CSF)},
  year={2018},
  pages={256-25615}
}