Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. Abate, C., Blanco, R., Garg, D., Hriţcu, C., Patrignani, M., & Thibault, J. arXiv:1807.04603, July, 2018.
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation [link]Paper  bibtex   
@misc{AbateBGHPT18,
  author = {Carmine Abate and
            Roberto Blanco and
            Deepak Garg and
            C\u{a}t\u{a}lin Hri\c{t}cu 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,
  chcontrib = {equaltwo},
}

Downloads: 0