search

GaloisInc / hacrypto

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

Triage Linux crypto harnesses (if any exists) #90

Open jldodds opened 9 years ago

jldodds commented 9 years ago

The best path might be to plug calls to linux crypto into the OpenSSL harness, but this could help in a crunch