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]^[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 the cryptographer to watch how stream processing functions in the program manipulate the ciphers or encryption algorithms.^[2]

External links

Cryptol main page

References

↑ ^1.0 ^1.1 ^1.2 ^1.3 Galois, Cryptol-the-language-of-cryptology-now-available, http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/, retrieved 2015-05-05
↑ ^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, Montego Bay, Jamaica, December 2-6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence), Springer, pp. 744, ISBN 978-3-540-30553-8
↑ 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
↑ Lewis, JR; 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 and Electronics Association (AFCEA) and the IEEE Communications Society, pp. 820–825, doi:10.1109/MILCOM.2003.1290218

0.00

(0 votes)

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

[Galois-1] 1.0 ^1.1 ^1.2 ^1.3 Galois, Cryptol-the-language-of-cryptology-now-available, http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/, retrieved 2015-05-05

[Sutcliffe-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, Montego Bay, Jamaica, December 2-6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence), Springer, pp. 744, ISBN 978-3-540-30553-8

[TheNextWave-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, JR; 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 and Electronics Association (AFCEA) and the IEEE Communications Society, pp. 820–825, doi:10.1109/MILCOM.2003.1290218

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