Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation (bibtex)
by Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani and Jérémy Thibault
Reference:
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation (Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani and Jérémy Thibault), arXiv:1807.04603, 2018.
Bibtex Entry:
@misc{AbateBGHPT18,
  author = {Carmine Abate and
            Roberto Blanco and
            Deepak Garg and
            Catalin Hritcu and
            Marco Patrignani and
            J\'er\'emy Thibault},
  title = {Journey Beyond Full Abstraction:
           Exploring Robust Property Preservation for Secure Compilation},
  howpublished = {arXiv:1807.04603},
  url = {https://arxiv.org/abs/1807.04603},
  month = jul,
  year = 2018,
}
Powered by bibtexbrowser