could you add an audit of hs-cryptohash

GaloisInc / hacrypto

Experiments in high-assurance crypto.

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

46 stars 14 forks source link

could you add an audit of hs-cryptohash #48

Closed hannesm closed 10 years ago

hannesm commented 10 years ago

source: https://github.com/vincenthz/hs-cryptohash (mostly C with some haskell)... I'm very interested in that :)

jldodds commented 10 years ago

Thanks for the recommendation!

jldodds commented 10 years ago

I've done a quick audit. Please let me know if you have any specific concerns/questions about the library, or if you are familiar with any other crypto libraries. We want this project to collect as many libraries as possible.

hannesm commented 10 years ago

well, we've an (unfinished, C cores need replacement [esp hashes]) at https://github.com/mirleft/ocaml-nocrypto (more detailed description http://openmirage.org/blog/introducing-nocrypto ) -- would be great if you audit this as well (as mentioned, we're aware of some deficiencies in it) -- I was interested in hs-cryptohash because we will most likely take the SHA2 implementation from there

kiniry commented 10 years ago

We're on it.