| Revision as of 19:41, 21 January 2009 editSilkTork (talk | contribs)Administrators104,148 editsm moved User:KP Botany/Cryptol to Cryptol: Reliable sources in place← Previous edit |
Latest revision as of 01:08, 23 September 2024 edit undoJerryobject (talk | contribs)Extended confirmed users15,438 edits Adds: Template:Infobox programming language parameters (fills), WP:LINKs, Template:GitHub. Section move to proper place. |
| (51 intermediate revisions by 34 users not shown) |
| Line 1: |
Line 1: |
|
⚫ |
{{Short description|Programming language for cryptography}} |
|
{{NOINDEX}} |
|
|
|
{{Infobox programming language |
|
|
|title = Cryptol |
|
|
|developer = Galois, Inc. |
|
|
|released = {{Start date and age|1980}} |
|
|
|latest release version = 3.2.0 |
|
|
|latest release date = {{Start date and age|2024|08 |20}} |
|
|
|programming language = ], ] |
|
|
| operating system = ], ], ] |
|
|
|platform = ], ] |
|
|
|license = ] |
|
|
|website = {{URL|www.cryptol.net}} |
|
⚫ |
}} |
|
|
|
|
|
Cryptol is a ] for ] developed by the the ] based ] firm, ].<ref name="Galois">{{citation | last = Galois | title = Cryptol-the-language-of-cryptology-now-available | url = http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/ | accessdate = 2008-01-02}}</ref><ref name="Sutcliffe">{{citation | editor1-last = Sutcliffe | editor1-first = Geoff | editor2-last = Voronkov | editor2-first = Andrei |title = 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) | publisher = Springer | pages = 744 | date = 2006 | isbn = 978-3540305538}}</ref> The language was originally developed for use by the ] ].<ref name="Galois" /> The language is also used by private firms which provide ] systems, such as the American company ] provides to ] and ]s in the United States.<ref name="Galois" /> |
|
'''Cryptol''' is a ] ] for ] developed by the ] based ] firm, Galois, Inc.<ref name="Galois">{{cite web |author=<!-- Unstated --> |date=December 2008 |title=Cryptol-the-language-of-cryptology-now-available |url=http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/ |access-date=2015-05-05}}</ref><ref name="Sutcliffe">{{cite book |editor1-last=Sutcliffe |editor1-first=Geoff |editor2-last=Voronkov |editor2-first=Andrei |year=2006 |title=Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence) |place=Montego Bay, Jamaica |publisher=Springer |pages=744 |isbn=978-3-540-30553-8}}</ref> It is ] released under a ] ]. |
|
|
|
|
|
|
The language was originally developed for use by the ] ].<ref name="Galois"/><ref name="TheNextWave">{{citation |title=The Next Wave, High Confidence Software and Systems (HCSS) |volume=19 |number=1 |year=2011 |url=http://www.nsa.gov/research/tnw/tnw191/articles/pdfs/tnw_19_1_web.pdf |access-date=2014-07-07 |url-status=dead |archive-url=https://web.archive.org/web/20140714184700/http://www.nsa.gov/research/tnw/tnw191/articles/pdfs/tnw_19_1_web.pdf |archive-date=2014-07-14}}</ref> The language is also used by private firms that provide ] systems, such as the American company ] provides to ] and ]s in the United States.<ref name="Galois"/> |
| ⚫ |
The programming language is used for all aspects of developing and using cryptography, such as the design and implementation of new ]s and the verification of existing cryptographic algorithms.<ref name="Galois" /><ref name="Sutcliffe" /><ref>{{citation |
|
|
|
|
| ⚫ |
| last1 = Lewis |
|
|
⚫ |
The programming language is used for all aspects of developing and using cryptography, such as the design and implementation of new ]s and the verification of existing cryptographic ]s.<ref name="Galois"/><ref name="Sutcliffe"/><ref>{{cite book |
| ⚫ |
| first1 = JR |
|
|
⚫ |
|last1=Lewis |
| ⚫ |
| last2 = Martin |
|
|
⚫ |
|first1=J.R. |
| ⚫ |
| first2 = B |
|
|
⚫ |
|last2=Martin |
| ⚫ |
| contribution = Cryptol: high assurance, retargetable crypto development and validation |
|
|
⚫ |
|first2=B. |
| ⚫ |
| title = Military Communications Conference, 2003. MILCOM 2003. IEEE |
|
|
⚫ |
|contribution=Cryptol: high assurance, retargetable crypto development and validation |
| ⚫ |
| volume = 2 |
|
|
⚫ |
|title=Military Communications Conference, 2003. MILCOM 2003. IEEE |
|
| number = 13-16 |
|
|
⚫ |
|volume=2 |
|
| pages = 820 - 825 |
|
|
|
|issue=13–16 |
| ⚫ |
| publisher = ] and the ] |
|
|
|
|pages=820–825 |
| ⚫ |
| date = 2003-10 |
|
|
⚫ |
|publisher=Armed Forces Communications & Electronics Association (]); ] |
| ⚫ |
| location = ] |
|
|
⚫ |
|date=October 2003 |
|
| url = http://ieeexplore.ieee.org/Xplore/login.jsp?url=/iel5/9057/28743/01290218.pdf?arnumber=1290218 |
|
|
⚫ |
|location=] |
| ⚫ |
| accessdate =2009-01-09 }}</ref> Cryptol is designed to allow the cryptographer to watch how stream processing functions in the program manipulate the ciphers or ] algorithms.<ref name="Sutcliffe" /> This aspect of Cryptol has been of particular interest to ]s who write new programming languages and to the field of ].{{fact}} |
|
|
|
|doi=10.1109/MILCOM.2003.1290218 |s2cid=8380437 |
|
⚫ |
}}</ref> Cryptol is designed to allow a cryptographer to watch how ] functions in the program manipulate ciphers or ] algorithms.<ref name="Sutcliffe"/> |
|
|
|
|
|
==References== |
|
==References== |
|
{{reflist}} |
|
{{Reflist}} |
|
|
|
|
|
==External links== |
|
==External links== |
|
|
* {{Official website|www.cryptol.net}} |
|
* <ref> |
|
|
|
* {{GitHub|GaloisInc}} |
|
{{cite web |
|
|
|url=http://www.mathematik.uni-muenchen.de/~gkli/alte_index.html |
|
|
|title=PhD Programme Logic in Computer Science |
|
|
|publisher=www.mathematik.uni-muenchen.de |
|
|
|accessdate=2009-01-07 |
|
|
|last= |
|
|
|first= |
|
| ⚫ |
}} |
|
|
</ref> |
|
|
|
|
|
* |
|
|
|
|
|
|
|
{{Haskell programming}} |
|
* |
|
|
|
{{Programming languages}} |
|
<!-- |
|
| ⚫ |
{{Programming language}} |
|
|
|
|
|
|
] |
|
] |
|
] |
|
] |
|
--> |
|
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 a cryptographer to watch how stream processing functions in the program manipulate ciphers or encryption algorithms.
Book 
Category:Family 
Lists: