@misc{indiciae027995acdbd4,
  title = {Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components},
  author = {Yannis Juglaret and Catalin Hritcu and Arthur Azevedo de Amorim and Benjamin C. Pierce and Antal Spector-Zabusky and Andrew Tolmach},
  year = {2015},
  url = {https://arxiv.org/abs/1510.00697},
  note = {Source identifier: 1510.00697}
}