Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach (bibtex)
by Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet
Reference:
Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach (Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet), In IEEE European Symposium on Security and Privacy (EuroS&P), 2017.
Bibtex Entry:
@inproceedings{proscript,
  author    = {Nadim Kobeissi and Karthikeyan Bhargavan and Bruno Blanchet},
  title     = {Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach},
  booktitle = {{IEEE} European Symposium on Security and Privacy (EuroS{\&}P)},
  year      = {2017},
  pages =     {435--450}
}
Powered by bibtexbrowser