Misplaced Pages

Cryptol

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.

This is an old revision of this page, as edited by SilkTork (talk | contribs) at 19:54, 21 January 2009 (Undid revision 265543967 by Rootology (talk)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 19:54, 21 January 2009 by SilkTork (talk | contribs) (Undid revision 265543967 by Rootology (talk))(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)


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: