@inproceedings{DBLP:conf/ccs/AbateABEFHLPST18,
 author = {Carmine Abate and
Arthur Azevedo de Amorim and
Roberto Blanco and
Ana Nora Evans and
Guglielmo Fachini and
Catalin Hritcu and
Théo Laurent and
Benjamin C. Pierce and
Marco Stronati and
Andrew Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/ccs/AbateABEFHLPST18.bib},
 booktitle = {Proceedings of the 2018 ACM SIGSAC Conference on Computer and
Communications Security, CCS 2018, Toronto, ON, Canada, October
15-19, 2018},
 doi = {10.1145/3243734.3243745},
 editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
 pages = {1351--1368},
 publisher = {ACM},
 timestamp = {Tue, 05 Aug 2025 01:00:00 +0200},
 title = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic
Compromise},
 url = {https://doi.org/10.1145/3243734.3243745},
 year = {2018}
}