GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
47 stars 14 forks source link

Generate tests and harness to run them using OpenSSL FIPS framework for SHA #71

Open jldodds opened 10 years ago

jldodds commented 10 years ago

All tests are generated as of cbc6d7a

We still need harnesses, including the harness for Monte Carlo tests