Cryptol is a domain-specific programming language designed for specifying and verifying cryptographic algorithms and protocols. Developed by Galois, Inc., Cryptol provides a rich set of features that facilitate the formal analysis of cryptographic constructs. Its main purpose is to help engineers and researchers write cryptographic code that is both correct and efficient.
New to topics? Read the docs here!