TY  - RPRT
TI  - When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
AU  - Carmine Abate
AU  - Arthur Azevedo de Amorim
AU  - Roberto Blanco
AU  - Ana Nora Evans
AU  - Guglielmo Fachini
AU  - Catalin Hritcu
AU  - Théo Laurent
AU  - Benjamin C. Pierce
AU  - Marco Stronati
AU  - Jérémy Thibault
AU  - Andrew Tolmach
PY  - 2019
UR  - https://arxiv.org/abs/1802.00588
ID  - 1802.00588
ER  -