@misc{indiciaea75630375dec,
  title = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise},
  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 Jérémy Thibault and Andrew Tolmach},
  year = {2019},
  url = {https://arxiv.org/abs/1802.00588},
  note = {Source identifier: 1802.00588}
}