Cryptol

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