Cryptol
Programming language for cryptography
title: "Cryptol" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["domain-specific-programming-languages", "cryptographic-software"] description: "Programming language for cryptography" topic_path: "technology/programming-languages" source: "https://en.wikipedia.org/wiki/Cryptol" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0
::summary Programming language for cryptography ::
::data[format=table title="Infobox programming language"]
| Field | Value |
|---|---|
| title | Cryptol |
| developer | Galois, Inc. |
| released | |
| latest release version | 3.2.0 |
| latest release date | |
| programming language | Haskell, Python |
| operating system | Linux, macOS, Windows |
| platform | AArch64, x86-64 |
| license | BSD 3-clause |
| website | |
| :: |
|title = Cryptol |developer = Galois, Inc. |released = |latest release version = 3.2.0 |latest release date = |programming language = Haskell, Python | operating system = Linux, macOS, Windows |platform = AArch64, x86-64 |license = BSD 3-clause |website =
Cryptol is a domain-specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc. 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. 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.
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.{{cite book |last1=Lewis |first1=J.R. |last2=Martin |first2=B. |contribution=Cryptol: high assurance, retargetable crypto development and validation |title=Military Communications Conference, 2003. MILCOM 2003. IEEE |volume=2 |issue=13–16 |pages=820–825 |publisher=Armed Forces Communications & Electronics Association (AFCEA); IEEE Communications Society |date=October 2003 |location=Boston, Massachusetts |doi=10.1109/MILCOM.2003.1290218 |s2cid=8380437
References
References
- . (December 2008). ["Cryptol-the-language-of-cryptology-now-available"](http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/).
- (2006). "Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence)". Springer.
- (2011). "The Next Wave, High Confidence Software and Systems (HCSS)".
::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::