0xADE1A1DE/CryptOpt
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
TypeScriptApache-2.0
Stargazers
- 0xRFAustralia
- AdaphathBochum
- ambiso
- brycxDenmark
- canescheUFMG
- CharlesAverill@SoftwareLanguagesSecurityLab
- davidywu9
- dconnollySandboxAQ
- dderjoelUofA
- denjiKyiv, UA
- godkingjaySorsogon State University
- icls1337
- jedisct1France
- jevinskieLafayette, Indiana
- JiuBanA1America
- jmyrick02Dallas, Texas
- joc7188Barcelona
- koraaRosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto
- longcpp
- mahmoudimusVery Good Security
- markuswagnergithubMonash University, Australia
- MattPD
- mmcloughlinAurora Innovation
- MQuaresmaMPI-SP
- mtve
- mukeshtiwariSwansea
- n-hassAustralia
- nsa/var/log/wtmp
- pennyannn
- randombitVermont
- Rjected
- SandalotsVolcanak
- shparkSeoul, Korea
- Skarlett
- tupipaRichland, WA
- zzrcxbNVIDIA Research & UT Austin