We are pleased to announce the open source release of Cryptol version 2.
Bugs in crypto code have been in the news lately – Cryptol helps developers detect (or avoid) correctness errors in cryptographic code. What Cryptol does is reduce the gap between the reference specification of a cryptographic algorithm and an executable version which can be used for testing and verification.
This is the first fully public release of Cryptol, but earlier versions have been under development at Galois, and in use around the world, for almost 15 years.
We look forward to working with the cryptography and verification communities to make Cryptol more expressive and powerful — towards the goal of reducing the number of bugs in critical cryptographic implementations in software and hardware.
Visit http://cryptol.net to learn more about the language, to download the software, or to check out the source code.