Showing 1 - 1 results of 1 for search 'Yarom, Yuval', query time: 0.02s
Refine Results
-
1
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives by Kuepper, Joel, Erbsen, Andres, Gross, Jason, Conoly, Owen, Sun, Chuyue, Tian, Samuel, Wu, David, Chlipala, Adam, Chuengsatiansup, Chitchanok, Genkin, Daniel, Wagner, Markus, Yarom, Yuval
Published 2023
Article