| CryptOpt: Verified compilation with randomized program search for cryptographic primitives J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 1268-1292, 2023 | 7 | 2023 |
| CryptOpt: Verified compilation with random program search for cryptographic primitives J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ... ArXiv abs/2211.10665, 2022 | 2 | 2022 |
| CryptOpt: Automatic Optimization of Straightline Code J Kuepper, D Wu, A Erbsen, J Gross, O Conoly, C Sun, S Tian, A Chlipala, ... 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | | 2023 |
