BibTeX record journals/iacr/PolubelovaBPBFK20

download as .bib file

@article{DBLP:journals/iacr/PolubelovaBPBFK20,
  author    = {Marina Polubelova and
               Karthikeyan Bhargavan and
               Jonathan Protzenko and
               Benjamin Beurdouche and
               Aymeric Fromherz and
               Natalia Kulatova and
               Santiago Zanella B{\'{e}}guelin},
  title     = {HACL{\texttimes}N: Verified Generic {SIMD} Crypto (for all your favorite
               platforms)},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {572},
  year      = {2020},
  url       = {https://eprint.iacr.org/2020/572},
  timestamp = {Wed, 27 May 2020 17:08:14 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/PolubelovaBPBFK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics