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), In 32nd IEEE Computer Security Foundations Symposium (CSF), IEEE, 2019.
Bibtex Entry:
@inproceedings{AbateBGHPT19,
  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},
  booktitle = {32nd IEEE Computer Security Foundations Symposium (CSF)},
  shortbooktitle = {CSF},
  pages = {256-271},
  publisher = {IEEE},
  ee = {https://doi.org/10.1109/CSF.2019.00025},
  doi = {10.1109/CSF.2019.00025},
  url = {https://arxiv.org/abs/1807.04603},
  month = jun,
  year = 2019,
}
Powered by bibtexbrowser