adaphath / cryptopt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 0xade1a1de/cryptopt
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Home Page: https://0xade1a1de.github.io/CryptOpt/
License: Apache License 2.0