Implementing and Proving the TLS 1.3 Record Layer (bibtex)
by Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue
Reference:
Implementing and Proving the TLS 1.3 Record Layer (Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue), 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/Delignat-Lavaud17,
  author    = {Antoine Delignat{-}Lavaud and
                 C{\'{e}}dric Fournet and
		                Markulf Kohlweiss and
				               Jonathan Protzenko and
					                      Aseem Rastogi and
							                     Nikhil Swamy and
									                    Santiago Zanella B{\'{e}}guelin and
											                   Karthikeyan Bhargavan and
													                  Jianyang Pan and
															                 Jean Karim Zinzindohoue},
																	   title     = {Implementing and Proving the {TLS} 1.3 Record Layer},
																	     booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
																	                    CA, USA, May 22-26, 2017},
																			      pages     = {463--482},
																			        year      = {2017},
																				  crossref  = {DBLP:conf/sp/2017},
																				    url       = {https://doi.org/10.1109/SP.2017.58},
																				      doi       = {10.1109/SP.2017.58},
																				        timestamp = {Tue, 27 Jun 2017 13:01:20 +0200},
																					  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/Delignat-Lavaud17},
																					    bibsource = {dblp computer science bibliography, http://dblp.org}
																					    }