[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


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


More information about the langsec-discuss mailing list