TY  - RPRT
TI  - CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
AU  - Joel Kuepper
AU  - Andres Erbsen
AU  - Jason Gross
AU  - Owen Conoly
AU  - Chuyue Sun
AU  - Samuel Tian
AU  - David Wu
AU  - Adam Chlipala
AU  - Chitchanok Chuengsatiansup
AU  - Daniel Genkin
AU  - Markus Wagner
AU  - Yuval Yarom
PY  - 2023
UR  - https://arxiv.org/abs/2211.10665
ID  - 2211.10665
ER  -