Cryptol

RESOURCES   |   DOWNLOAD   |   FEEDBACK  

Cryptol is a language for writing specifications for cryptographic algorithms. It is also a tool set for producing high-assurance, efficient implementations in VHDL, C, and Haskell. The Cryptol tools include the ability to equivalence check the reference specification against an implementation, whether or not it was compiled from the specifications. Learn more...

We invite you to download a trial version to explore the Cryptol language. We also offer a free commercial evaluation copy of the complete Cryptol toolset.

We’re interested in your experience with Cryptol and encourage you to send us your feedback.