Marco Patrignani, Amal Ahmed, Dave Clarke 0001. Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. ACM Computing Surveys, 51(6), 2019. [doi]
@article{PatrignaniAC19,
title = {Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work},
author = {Marco Patrignani and Amal Ahmed and Dave Clarke 0001},
year = {2019},
doi = {10.1145/3280984},
url = {https://doi.org/10.1145/3280984},
researchr = {https://researchr.org/publication/PatrignaniAC19},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {51},
number = {6},
}