@misc{indiciae6820b01d53c9,
  title = {Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)},
  author = {Guglielmo Fachini and Catalin Hritcu and Marco Stronati and Ana Nora Evans and Théo Laurent and Arthur Azevedo de Amorim and Benjamin C. Pierce and Andrew Tolmach},
  year = {2017},
  url = {https://arxiv.org/abs/1710.07308},
  note = {Source identifier: 1710.07308}
}