@article{surv,
 author = {Patrignani, Marco and Ahmed, Amal and Clarke, Dave},
 title = {Formal Approaches to Secure Compilation A Survey of Fully Abstract Compilation and Related Work.},
 journal = {ACM Comput. Surv.},
 issue_date = {January 2019},
 volume = {51},
 number = {6},
 month = jan,
 year = {2019},
 pages = {125:1--125:36},
 articleno = {125},
 numpages = {36},
 url = {https://doi.org/10.1145/3280984},
 doi = {10.1145/3280984},
}