[Haskell-cafe] cryptography in haskell
tdammers at gmail.com
Tue Feb 17 06:52:49 UTC 2015
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
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.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe