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
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