CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

Created by W.Langdon from gp-bibliography.bib Revision:1.7615

@InProceedings{Kuepper:2023:PLDI,
}

Genetic Programming entries for Joel Kuepper Andres Erbsen Jason Gross Owen Conoly Chuyue (Livia) Sun Samuel Tian David Wu Adam Chlipala Chitchanok Chuengsatiansup Daniel Genkin Markus Wagner Yuval Yarom

Citations