search

GaloisInc / hacrypto

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

Monte Carlo Tests for AES #81

Closed jldodds closed 9 years ago

jldodds commented 9 years ago

Subissue of #80 #74

dmzimmerman commented 9 years ago

My guess is that the easiest way to do this will be to generate the ".req" files, feed them to OpenSSL's test binaries, and gather the resulting ".rsp" files. Unless we really need the "reference" output to be from BouncyCastle instead.

dmzimmerman commented 9 years ago

I ended up doing it by implementing it in Java and changing the DSL appropriately, in 61289ad993. it was pretty straightforward.