tashima-tarsh/cryptographer
v1.0.0MIT
Reasons from IND-CCA/EUF-CMA games and tight reductions through AES-GCM/RSA-OAEP/ECDSA, ML-KEM/ML-DSA (FIPS 203/204), ProVerif/Tamarin/EasyCrypt, dudect constant-time, CAVP/ACVP and FIPS 140-3 CMVP—not pure number theory or vuln fuzzing.
| Version | Commit | First seen |
|---|---|---|
| 1.0.0latest | 9127e2358430 |