[langsec-discuss] Cryptol

Will Sargent will.sargent at gmail.com
Sat Apr 12 17:29:46 UTC 2014


A DSL specifically for designing cryptographic algorithms.

http://corp.galois.com/cryptol/

Not that it would have helped with TLS, but it's interesting.

Will.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20140412/d645a818/attachment.html>


More information about the langsec-discuss mailing list