J. Kuepper, A. Erbsen, J. Gross, O. Conoly, C. Sun, S. Tian, D. Wu, A. Chlipala, C. Chuengsatiansup, D. Genkin, M. Wagner, and Y. Yarom, CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives, arXiv e-prints , arXiv:2211.10665 (2022), arXiv:2211.10665 [cs.CR].