cryptol-2.8.0: Cryptol: The Language of Cryptography

cryptol-2.8.0: Cryptol: The Language of Cryptography

Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see http://www.cryptol.net/.

Signatures

Modules