@article{cryptoptverifiedcompilationwithrandom,
  title = {CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)},
  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},
  year = {2022},
  eprint = {2211.10665},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2211.10665v3},
}