Picture for Adam Chlipala

Adam Chlipala

CryptOpt: Automatic Optimization of Straightline Code

Add code
May 31, 2023
Viaarxiv icon

CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives

Add code
Nov 19, 2022
Viaarxiv icon