Misplaced Pages

Cryptol: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →
Revision as of 19:42, 21 January 2009 editSilkTork (talk | contribs)Administrators104,148 edits activate cats← Previous edit Revision as of 19:47, 21 January 2009 edit undoGoneAwayNowAndRetired (talk | contribs)14,896 editsm moved Cryptol to User:KP Botany/Cryptol: Hi, there have been virtually no changes to this, and it still needs to go through DRV. I'd like to see it reviewed under our correct process.Next edit →
(No difference)

Revision as of 19:47, 21 January 2009


Cryptol is a domain specific programming language for cryptography developed by the the Portland, Oregon based software development firm, Galois, Inc.. The language was originally developed for use by the United States National Security Agency. The language is also used by private firms which 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 the cryptographer to watch how stream processing functions in the program manipulate the ciphers or encryption algorithms. This aspect of Cryptol has been of particular interest to computer programmers who write new programming languages and to the field of artificial intelligence.

References

  1. ^ Galois, Cryptol-the-language-of-cryptology-now-available, retrieved 2008-01-02
  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, p. 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 (PDF), vol. 2, Boston, Massachusetts: Armed Forces Communications and Electronics Association (AFCEA) and the IEEE Communications Society, pp. 820–825, retrieved 2009-01-09 {{citation}}: Check date values in: |date= (help)

External links

Programming languages
  1. "PhD Programme Logic in Computer Science". www.mathematik.uni-muenchen.de. Retrieved 2009-01-07.
Categories: