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 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, 2017.
Bibtex Entry:
@inproceedings{DBLP:conf/sp/BhargavanBK17,
  author    = {Karthikeyan Bhargavan and
                 Bruno Blanchet and
		                Nadim Kobeissi},
				  title     = {Verified Models and Reference Implementations for the {TLS} 1.3 Standard
				                 Candidate},
						   booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
						                  CA, USA, May 22-26, 2017},
								    pages     = {483--502},
								      year      = {2017},
								        crossref  = {DBLP:conf/sp/2017},
									  url       = {https://doi.org/10.1109/SP.2017.26},
									    doi       = {10.1109/SP.2017.26},
									      timestamp = {Tue, 27 Jun 2017 13:01:20 +0200},
									        biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/BhargavanBK17},
										  bibsource = {dblp computer science bibliography, http://dblp.org}
										  }