Cryptol

Cryptol is a domain specific language for Cryptographic applications, currently developed by Galois. This web-site contains a description of the language and detailed documentation on Cryptol.

The Cryptol Reference Manual [900K, PDF] is available from the Cryptol web site.

Feedback and suggestions are most welcome. To contact, please e-mail us: cryptol@galois.com.