Kuepper, J., Erbsen, A., Gross, J., Conoly, O., Sun, C., Sian, S., Wu, D., Chlipala, A., Chuengsatiansup, C., Genkin, D., Wagner, M., & Yarom, Y. (2023). CryptOpt: Verified Compilation with Randomized Program Search [Conference paper]. 7. https://doi.org/10.1145/3591272