[Haskell-cafe] cryptography in haskell

[Tobias Dammers]

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" <gale at sefer.org> wrote:

> 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150217/98c302a0/attachment.html>