Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Cryptol
Domain specific programming language for cryptography

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. Cryptol is designed to allow a cryptographer to watch how stream processing functions in the program manipulate ciphers or encryption algorithms.

We don't have any images related to Cryptol yet.
We don't have any YouTube videos related to Cryptol yet.
We don't have any PDF documents related to Cryptol yet.
We don't have any Books related to Cryptol yet.
We don't have any archived web articles related to Cryptol yet.

References

  1. "Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/ ↩

  2. GoogleBook linkSutcliffe, Geoff; Voronkov, Andrei, eds. (2006). Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence). Montego Bay, Jamaica: Springer. p. 744. ISBN 978-3-540-30553-8. 978-3-540-30553-8 ↩

  3. "Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/ ↩

  4. The Next Wave, High Confidence Software and Systems (HCSS) (PDF), vol. 19, 2011, archived from the original (PDF) on 2014-07-14, retrieved 2014-07-07 https://web.archive.org/web/20140714184700/http://www.nsa.gov/research/tnw/tnw191/articles/pdfs/tnw_19_1_web.pdf ↩

  5. "Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/ ↩

  6. "Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/ ↩

  7. GoogleBook linkSutcliffe, Geoff; Voronkov, Andrei, eds. (2006). Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence). Montego Bay, Jamaica: Springer. p. 744. ISBN 978-3-540-30553-8. 978-3-540-30553-8 ↩

  8. Lewis, J.R.; Martin, B. (October 2003). "Cryptol: high assurance, retargetable crypto development and validation". Military Communications Conference, 2003. MILCOM 2003. IEEE. Vol. 2. Boston, Massachusetts: Armed Forces Communications & Electronics Association (AFCEA); IEEE Communications Society. pp. 820–825. doi:10.1109/MILCOM.2003.1290218. S2CID 8380437. /wiki/Boston,_Massachusetts ↩

  9. GoogleBook linkSutcliffe, Geoff; Voronkov, Andrei, eds. (2006). Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence). Montego Bay, Jamaica: Springer. p. 744. ISBN 978-3-540-30553-8. 978-3-540-30553-8 ↩