Cryptol

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

## References

1. ↑ 1.0 1.1 1.2 1.3 "Cryptol-the-language-of-cryptology-now-available". December 2008. http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/.
2. ↑ 2.0 2.1 2.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. pp. 744. ISBN 978-3-540-30553-8.
3. ↑ The Next Wave, High Confidence Software and Systems (HCSS), 19, 2011, http://www.nsa.gov/research/tnw/tnw191/articles/pdfs/tnw_19_1_web.pdf, retrieved 2014-07-07
4. ↑ Lewis, J.R.; Martin, B. (October 2003). "Cryptol: high assurance, retargetable crypto development and validation". Military Communications Conference, 2003. MILCOM 2003. IEEE. 2. Boston, Massachusetts: Armed Forces Communications & Electronics Association (AFCEA); IEEE Communications Society. pp. 820–825. doi:10.1109/MILCOM.2003.1290218.

## External links

* Official website
* on GitHub

Template:Haskell programming

* v
* t
* e

Programming languages

* Comparison
* Timeline
* History

* APL
* Assembly
* BASIC
* C
* C++
* C#
* COBOL
* Elixir
* Fortran
* Go
* Groovy
* Haskell
* Java
* JavaScript (JS)
* Julia
* Kotlin
* Lisp
* Lua
* MATLAB
* Objective-C
* OCaml
* Pascal
* Perl
* PHP
* Python
* R
* Ruby
* Rust
* Scala
* Shell
* Smalltalk
* Swift
* TypeScript
* Visual Basic .NET (VB.NET)
* more...

* Category
* Lists
* Alphabetical
* Categorical
* Generational
* Non-English-based

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Cryptol. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Cryptol&oldid=3952115"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template