GaloisInc / hacrypto

Experiments in high-assurance crypto.

BSD 3-Clause "New" or "Revised" License

46 stars 14 forks source link

Closed jldodds closed 9 years ago

jldodds commented 9 years ago

Subissue of #77

jldodds commented 9 years ago

74

dmzimmerman commented 9 years ago

This is complete and will be checked in later today.