search

GaloisInc / hacrypto

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

HMACVS for HMAC #72

Closed jldodds closed 9 years ago

jldodds commented 9 years ago

Challenge includes improving test specification abilities and understanding the form that HMACVS req files actually take

jldodds commented 9 years ago

All HMAC test generation finished in 7e0c73f