CTO CLiki for the TUNES project

Home Recent Changes About CLiki Text Formatting Create New Page

Cryptol

A programming language (specifically a DSL, apparently on top of Haskell) for cryptographic applications, currently developed by Galois Connections.

• Cryptol Home.

• Galois Connections, Inc..