| Cryptol | |
| Developer: | Galois, Inc. |
| Latest Release Version: | 3.2.0 |
| Programming Language: | Haskell, Python |
| Operating System: | Linux, macOS, Windows |
| Platform: | AArch64, x86-64 |
| License: | BSD 3-clause |
Cryptol is a domain-specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc.[1] [2] It is free and open-source software released under a BSD 3-clause software license.
The language was originally developed for use by the United States National Security Agency.[1] The language is also used by private firms that provide information technology systems, such as the American company Rockwell Collins provides to aerospace and defense contractors in the United States.[1]
The programming language is used for all aspects of developing and using cryptography, such as the design and implementation of new ciphers and the verification of existing cryptographic algorithms.[1] [2] [3] Cryptol is designed to allow a cryptographer to watch how stream processing functions in the program manipulate ciphers or encryption algorithms.[2]