Cryptography

[Google Scholar]

CryptOpt: Verified compilation with randomized program search for cryptographic primitives [kuepper:pldi:2023]

The opinions expressed are my own views and not my employer’s.