@misc{indiciae549cd311ea3a,
  title = {Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)},
  author = {Deepak Garg and Catalin Hritcu and Marco Patrignani and Marco Stronati and David Swasey},
  year = {2017},
  url = {https://arxiv.org/abs/1710.07309},
  note = {Source identifier: 1710.07309}
}