CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives.
Joel KuepperAndres ErbsenJason GrossOwen ConolyChuyue SunSamuel TianDavid WuAdam ChlipalaChitchanok ChuengsatiansupDaniel GenkinMarkus WagnerYuval YaromPublished in: Proc. ACM Program. Lang. (2023)