[Haskell-cafe] cryptography in haskell

[Yitzchak Gale]

Julian Ospald wrote:
> I've been wondering about the state of cryptography in haskell. Not so
> much in the sense of "what libraries are out there?", but rather about
> the question what crpyto and IT security people think about ideas like
> rewriting something as OpenSSL in haskell.

At Galois they have done a lot of work on this during the past
few years. Of course, the good points brought up by Patrick
have been prominent in their thinking.

I'm not sure how much of that work is available publicly.
But they did open-source Cryptol, their Haskell-based
DSL for designing and testing crypto algorithms.

http://galois.com/
http://cryptol.net/

Regards,
Yitz