GaloisInc / hacrypto

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

Monte Carlo Tests for all SHA #76

Closed jldodds closed 9 years ago

jldodds commented 9 years ago

Probably using the OpenSSL harness. Subissue of #74 and #71

dmzimmerman commented 9 years ago

This is now complete (and will be committed later in the day).