[langsec-discuss] Cryptol

Yardley, Tim yardley at illinois.edu
Fri Apr 25 13:10:16 UTC 2014


I ran across this and thought it might be of interest. Anyone have more in depth thoughts on the work?

Cryptol - A Domain Specific Language for Implementing Cryptographic Algorithms

http://cryptol.net/index.html

There is a case study linked on the main page as well. 

/tmy


More information about the langsec-discuss mailing list