Cryptol
- github
.com /GaloisInc /cryptol
![Edit this on Wikidata](http://upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png)
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
- ^ a b c d Galois, Cryptol-the-language-of-cryptology-now-available, retrieved 2015-05-05
- ^ 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, p. 744, ISBN 978-3-540-30553-8
- ^ 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
- ^ Lewis, JR; 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 and Electronics Association (AFCEA) and the IEEE Communications Society, pp. 820–825, doi:10.1109/MILCOM.2003.1290218, S2CID 8380437
- v
- t
- e
Implementations (features) |
| ||||||||
---|---|---|---|---|---|---|---|---|---|
Libraries |
| ||||||||
Package managers |
| ||||||||
Windowing systems | |||||||||
Web frameworks |
| ||||||||
![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4d/Logo_of_the_Haskell_programming_language.svg/100px-Logo_of_the_Haskell_programming_language.svg.png)
Eponym |
---|
- Arvind
- Lennart Augustsson
- Richard Bird
- Jeremy Gibbons
- Andrew D. Gordon
- Paul Hudak
- John Hughes
- John Launchbury
- John MacFarlane
- Simon Marlow
- Conor McBride
- Erik Meijer
- Simon Peyton Jones
- David Roundy
- Simon Thompson
- Philip Wadler
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/89/Symbol_book_class2.svg/16px-Symbol_book_class2.svg.png)
![](http://upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png)
![](http://upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png)