HACL*: A Verified Modern Cryptographic Library (bibtex)

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},
}