by Jean-Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko and Benjamin Beurdouche
Reference:
HACL*: A Verified Modern Cryptographic Library (Jean-Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko and Benjamin Beurdouche), In ACM Conference on Computer and Communications Security, ACM, 2017.
Bibtex Entry:
@inproceedings{haclstar,
author = {Jean-Karim Zinzindohou\'e and
Karthikeyan Bhargavan and
Jonathan Protzenko and
Benjamin Beurdouche},
title = {{HACL}*: {A} Verified Modern Cryptographic Library},
booktitle = {{ACM} Conference on Computer and Communications Security},
shortbooktitle = {CCS},
pages = {1789--1806},
publisher = {ACM},
year = {2017},
url = {http://eprint.iacr.org/2017/536},
}