Cryptol

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Cryptol
DeveloperGalois, Inc.
First appeared1980; 46 years ago (1980)
Stable release
3.2.0 / August 20, 2024; 20 months ago (2024-08-20)
Implementation languageHaskell, Python
PlatformAArch64, x86-64
OSLinux, macOS, Windows
LicenseBSD 3-clause
Websitewww.cryptol.net

Cryptol is a domain-specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc.[1][2] It is free and open-source software released under a BSD 3-clause software license.

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

References

[edit | edit source]
  1. ^ a b c d Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ a b c GoogleBook linkLua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  4. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
[edit | edit source]
Retrieved from "http://70.231.62.181/index.php?title=Cryptol&oldid=11690703"