Formal Approaches to Secure Compilation
ACM Computing Surveys (2019) - Comments
doi: 10.1145/3280984  issn: 0360-0300  issn: 1557-7341 

Marco Patrignani, Amal Ahmed, Dave Clarke