SHA Monte Carlo tests for kernel-crypto
OpenSSL driver for kernel-crypto TDES CBC
provide real support for sessions from the high-level cryptodev interface
CBC+Monte Carlo support for kernel-crypto TDES
Merge branch 'master' of github:GaloisInc/hacrypto