HACL*: A Verified Modern Cryptographic Library (bibtex)
by Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
Reference:
HACL*: A Verified Modern Cryptographic Library (Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche), In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, 2017.
Bibtex Entry:
@inproceedings{DBLP:conf/ccs/ZinzindohoueBPB17,
  author    = {Jean Karim Zinzindohou{\'{e}} and
                 Karthikeyan Bhargavan and
		                Jonathan Protzenko and
				               Benjamin Beurdouche},
					         title     = {HACL*: {A} Verified Modern Cryptographic Library},
						   booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
						                  Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
								                 November 03, 2017},
										   pages     = {1789--1806},
										     year      = {2017},
										       crossref  = {DBLP:conf/ccs/2017},
										         url       = {http://doi.acm.org/10.1145/3133956.3134043},
											   doi       = {10.1145/3133956.3134043},
											     timestamp = {Sat, 28 Oct 2017 18:38:40 +0200},
											       biburl    = {http://dblp.org/rec/bib/conf/ccs/ZinzindohoueBPB17},
											         bibsource = {dblp computer science bibliography, http://dblp.org}
												 }