A specification language for cryptography primitives. - View it on GitHub