Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach (bibtex)
by N. Kobeissi, K. Bhargavan, B. Blanchet
Reference:
Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach (N. Kobeissi, K. Bhargavan, B. Blanchet), In IEEE European Symposium on Security and Privacy (EuroS&P), 2017. (to appear)
Bibtex Entry:
@inproceedings{proscript,
  author    = {N. Kobeissi and K. Bhargavan and B. 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},
  note = "to appear"
}