A domain-specific programming language for cryptographic code.