BibTeX record journals/iacr/ProtzenkoPFHPBB19

• > Home > journals/iacr/ProtzenkoPFHPBB19

@article{DBLP:journals/iacr/ProtzenkoPFHPBB19,
  author       = {Jonathan Protzenko and
                  Bryan Parno and
                  Aymeric Fromherz and
                  Chris Hawblitzel and
                  Marina Polubelova and
                  Karthikeyan Bhargavan and
                  Benjamin Beurdouche and
                  Joonwon Choi and
                  Antoine Delignat{-}Lavaud and
                  C{\'{e}}dric Fournet and
                  Tahina Ramananandro and
                  Aseem Rastogi and
                  Nikhil Swamy and
                  Christoph M. Wintersteiger and
                  Santiago Zanella B{\'{e}}guelin},
  title        = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {757},
  year         = {2019},
  url          = {https://eprint.iacr.org/2019/757},
  timestamp    = {Thu, 20 Aug 2020 16:51:28 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}