search

GaloisInc / hacrypto

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

AESAVS for AES implementations #65

Closed jldodds closed 9 years ago

jldodds commented 9 years ago

AES ECB/CBC/CFB/OFB/CTR/CCM/CMAC/GCM/XTS http://csrc.nist.gov/groups/STM/cavp/documents/aes/AESAVS.pdf

jldodds commented 9 years ago

All AES tests other than those mentioned in #70 are now automatically generated