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.
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
