TY  - RPRT
TI  - Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
AU  - Carmine Abate
AU  - Roberto Blanco
AU  - Deepak Garg
AU  - Catalin Hritcu
AU  - Marco Patrignani
AU  - Jérémy Thibault
PY  - 2019
DO  - 10.1109/csf.2019.00025
UR  - https://arxiv.org/abs/1807.04603
ID  - 1807.04603
ER  -