A domain-specific programming language for constant-time cryptographic code.