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), Technical report, Inria, 2017.
Bibtex Entry:
@TechReport{reftlsInria2017,
  author = 	 {Karthikeyan Bhargavan and Bruno Blanchet and Nadim Kobeissi},
  title = 	 {Verified Models and Reference Implementations for the {TLS} 1.3 Standard Candidate},
  institution =  {Inria},
  year = 	 2017,
  number = 	 {RR-9040},
  url = 	 {https://hal.inria.fr/hal-01528752}
}
Powered by bibtexbrowser