Re: [Haskell-cafe] cryptography in haskell

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