Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach (bibtex)
by Kobeissi, Nadim, Bhargavan, Karthikeyan and Blanchet, Bruno
Reference:
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach (Kobeissi, Nadim, Bhargavan, Karthikeyan and Blanchet, Bruno), In 2nd IEEE European Symposium on Security and Privacy, 2017.
Bibtex Entry:
@inproceedings{kobeissi:hal-01575923,
  TITLE = {{Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach}},
  AUTHOR = {Kobeissi, Nadim and Bhargavan, Karthikeyan and Blanchet, Bruno},
  URL = {https://hal.inria.fr/hal-01575923},
  BOOKTITLE = {{2nd IEEE European Symposium on Security and Privacy}},
  ADDRESS = {Paris, France},
  PAGES = {435 - 450},
  YEAR = {2017},
  MONTH = Apr,
  DOI = {10.1109/EuroSP.2017.38},
  PDF = {https://hal.inria.fr/hal-01575923/file/KobeissiBhargavanBlanchetEuroSP17.pdf},
  HAL_ID = {hal-01575923},
  HAL_VERSION = {v1},
}
Powered by bibtexbrowser