BibTeX record journals/corr/abs-2211-10665

• > Home > journals/corr/abs-2211-10665

@article{DBLP:journals/corr/abs-2211-10665,
  author       = {Joel Kuepper and
                  Andres Erbsen and
                  Jason Gross and
                  Owen Conoly and
                  Chuyue Sun and
                  Samuel Tian and
                  David Wu and
                  Adam Chlipala and
                  Chitchanok Chuengsatiansup and
                  Daniel Genkin and
                  Markus Wagner and
                  Yuval Yarom},
  title        = {CryptOpt: Verified Compilation with Random Program Search for Cryptographic
                  Primitives},
  journal      = {CoRR},
  volume       = {abs/2211.10665},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.10665},
  doi          = {10.48550/ARXIV.2211.10665},
  eprinttype    = {arXiv},
  eprint       = {2211.10665},
  timestamp    = {Thu, 24 Nov 2022 15:52:33 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-10665.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}