GaloisInc / hacrypto

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

Add all NIST tests for a second algorithm to examples #54

Closed jldodds closed 10 years ago

jldodds commented 10 years ago

Consider an algorithm with multiple inputs...

jldodds commented 10 years ago

done for AES cbc6d7afb76be987ea49bc013b0faeeb05886bf0