Cryptol

Cryptol is a domain specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc..^[1][2] 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 the cryptographer to watch how stream processing functions in the program manipulate the ciphers or encryption algorithms.^[2] This aspect of Cryptol has been of particular interest to computer programmers who write new programming languages and to the field of artificial intelligence.^{[citation needed]}

External links

• A Cryptol implementation of Keccak
• A Cryptol implementation of Skein
• MD6 in Cryptol

References

1. ^ ^{a b c d} Galois, Cryptol-the-language-of-cryptology-now-available, http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/, retrieved 2008-01-02 
2. ^ ^{a b c} GoogleBook linkSutcliffe, Geoff; Voronkov, Andrei, eds. (2006), Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence), Springer, pp. 744, ISBN 978-3540305538 
3. ^ Lewis, JR; Martin, B (2003-10), "Cryptol: high assurance, retargetable crypto development and validation", Military Communications Conference, 2003. MILCOM 2003. IEEE, 2, Boston, Massachusetts: Armed Forces Communications and Electronics Association (AFCEA) and the IEEE Communications Society, pp. 820–825, http://ieeexplore.ieee.org/Xplore/login.jsp?url=/iel5/9057/28743/01290218.pdf?arnumber=1290218, retrieved 2009-01-09