Cryptol is a DSL that simplifies the specification of a cryptographic algorithm http://corp.galois.com/cryptol/