<p>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</p>
<div class="gmail_quote">On Feb 16, 2015 12:34 PM, "Yitzchak Gale" <<a href="mailto:gale@sefer.org">gale@sefer.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Julian Ospald wrote:<br>
> I've been wondering about the state of cryptography in haskell. Not so<br>
> much in the sense of "what libraries are out there?", but rather about<br>
> the question what crpyto and IT security people think about ideas like<br>
> rewriting something as OpenSSL in haskell.<br>
<br>
At Galois they have done a lot of work on this during the past<br>
few years. Of course, the good points brought up by Patrick<br>
have been prominent in their thinking.<br>
<br>
I'm not sure how much of that work is available publicly.<br>
But they did open-source Cryptol, their Haskell-based<br>
DSL for designing and testing crypto algorithms.<br>
<br>
<a href="http://galois.com/" target="_blank">http://galois.com/</a><br>
<a href="http://cryptol.net/" target="_blank">http://cryptol.net/</a><br>
<br>
Regards,<br>
Yitz<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div>