@misc{indiciae1e0935f3d065,
  title = {Trace-Relating Compiler Correctness and Secure Compilation},
  author = {Carmine Abate and Roberto Blanco and Stefan Ciobaca and Adrien Durier and Deepak Garg and Catalin Hritcu and Marco Patrignani and Éric Tanter and Jérémy Thibault},
  year = {2020},
  url = {https://arxiv.org/abs/1907.05320},
  note = {Source identifier: 1907.05320}
}