Everest: Towards a Verified, Drop-in Replacement of HTTPS (bibtex)
by Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue
Reference:
Everest: Towards a Verified, Drop-in Replacement of HTTPS (Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue), In 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, 2017.
Bibtex Entry:
@inproceedings{DBLP:conf/snapl/BhargavanBDFHHI17,
  author    = {Karthikeyan Bhargavan and
                 Barry Bond and
		                Antoine Delignat{-}Lavaud and
				               C{\'{e}}dric Fournet and
					                      Chris Hawblitzel and
							                     Catalin Hritcu and
									                    Samin Ishtiaq and
											                   Markulf Kohlweiss and
													                  Rustan Leino and
															                 Jay R. Lorch and
																	                Kenji Maillard and
																			               Jianyang Pan and
																				                      Bryan Parno and
																						                     Jonathan Protzenko and
																								                    Tahina Ramananandro and
																										                   Ashay Rane and
																												                  Aseem Rastogi and
																														                 Nikhil Swamy and
																																                Laure Thompson and
																																		               Peng Wang and
																																			                      Santiago Zanella B{\'{e}}guelin and
																																					                     Jean Karim Zinzindohoue},
																																							       title     = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
																																							         booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
																																								                7-10, 2017, Asilomar, CA, {USA}},
																																										  pages     = {1:1--1:12},
																																										    year      = {2017},
																																										      crossref  = {DBLP:conf/snapl/2017},
																																										        url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
																																											  doi       = {10.4230/LIPIcs.SNAPL.2017.1},
																																											    timestamp = {Tue, 30 May 2017 12:57:44 +0200},
																																											      biburl    = {http://dblp.uni-trier.de/rec/bib/conf/snapl/BhargavanBDFHHI17},
																																											        bibsource = {dblp computer science bibliography, http://dblp.org}
																																												}