GaloisInc / hacrypto

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

Testing for Java methods for KAT that aren't random #74

Closed jldodds closed 9 years ago

jldodds commented 9 years ago

Some KATS are randomly generated by the lab and some are specified in the CAVP document. We can generate the former using our framework and comparing the results with another library, but have not implemented anything that can read in the test files and call them on Java code. One option for this is to call the Java (or any language really) code from the OpenSSL FIPS module

dmzimmerman commented 9 years ago

This is done as of 507177b113, at least for all algorithms that are currently understood by the Java test generator.