Another path worth investigating would be to construct a Haskell (e)DSL
which produces C code, but adds better constraints and guarantees through
Haskell's type system, a bit like what people are already doing for
embedded systems
On Feb 16, 2015 12:34 PM, "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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe