News for hackers. Stuff that matters.

A comment on Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source. Parent comment

Re:Cryptol DSL, a tool for writing correct crypto algorithms... by acfoltzer on Thursday April 24, 2014 @07:11PM (#7643703)
It should be working again within minutes; sorry for the DNS snafu.
[ Parent | on HN ]

There are no comments on this comment yet.