Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate (bibtex)
by Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi
Reference:
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate (Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi), In IEEE Symposium on Security and Privacy (Oakland), 2017.
Bibtex Entry:
@inproceedings{reftls,
  author    = {Karthikeyan Bhargavan and Bruno Blanchet and Nadim Kobeissi},
  title     = {Verified Models and Reference Implementations for the {TLS} 1.3 Standard Candidate },
  booktitle = {{IEEE} Symposium on Security and Privacy (Oakland)},
  year      = {2017},
  pages = 	 {483--503}
}
Powered by bibtexbrowser