Movatterモバイル変換

[0]ホーム
URL:

Jump to content
WikipediaThe Free Encyclopedia
Search

Cryptol

From Wikipedia, the free encyclopedia
Programming language for cryptography
Cryptol
DeveloperGalois, Inc.
First appeared1980; 45 years ago (1980)
Stable release
3.2.0 / August 20, 2024; 7 months ago (2024-08-20)
Implementation languageHaskell,Python
PlatformAArch64,x86-64
OSLinux,macOS,Windows
LicenseBSD 3-clause
Websitewww.cryptol.net

Cryptol is adomain-specificprogramming language forcryptography developed by thePortland, Oregon basedsoftware development firm, Galois, Inc.[1][2] It isfree and open-source software released under aBSD 3-clausesoftware license.

The language was originally developed for use by theUnited StatesNational Security Agency.[1][3] The language is also used by private firms that provideinformation technology systems, such as the American companyRockwell Collins provides toaerospace anddefense 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 newciphers and the verification of existing cryptographicalgorithms.[1][2][4] Cryptol is designed to allow a cryptographer to watch howstream processing functions in the program manipulate ciphers orencryption algorithms.[2]

References

[edit]
  1. ^abcd"Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved2015-05-05.
  2. ^abcGoogleBook 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. p. 744.ISBN 978-3-540-30553-8.
  3. ^The Next Wave, High Confidence Software and Systems (HCSS)(PDF), vol. 19, 2011, archived fromthe original(PDF) on 2014-07-14, retrieved2014-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. Vol. 2.Boston, Massachusetts: Armed Forces Communications & Electronics Association (AFCEA);IEEE Communications Society. pp. 820–825.doi:10.1109/MILCOM.2003.1290218.S2CID 8380437.

External links

[edit]
Haskell programming
Software
Implementations
(features)
Dialects
Electronic design
Libraries
Package managers
Windowing systems
Web frameworks
Book
Community
Eponym
Retrieved from "https://en.wikipedia.org/w/index.php?title=Cryptol&oldid=1247144025"
Categories:
Hidden categories:
[8]ページ先頭
©2009-2025 Movatter.jp