Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Cryptol
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="http://www.cryptol.net">Official website</a></li> <li><a href="https://github.com/GaloisInc">GaloisInc</a> on <a href="/facts/GitHub/n1hNCsc3">GitHub</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. <a href="http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/" target="_blank">http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>GoogleBook 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. <a href="978-3-540-30553-8" target="_blank">978-3-540-30553-8</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>"Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. <a href="http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/" target="_blank">http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>The Next Wave, High Confidence Software and Systems (HCSS) (PDF), vol. 19, 2011, archived from the original (PDF) on 2014-07-14, retrieved 2014-07-07 <a href="https://web.archive.org/web/20140714184700/http://www.nsa.gov/research/tnw/tnw191/articles/pdfs/tnw_19_1_web.pdf" target="_blank">https://web.archive.org/web/20140714184700/http://www.nsa.gov/research/tnw/tnw191/articles/pdfs/tnw_19_1_web.pdf</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>"Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. <a href="http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/" target="_blank">http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05. <a href="http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/" target="_blank">http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>GoogleBook 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. <a href="978-3-540-30553-8" target="_blank">978-3-540-30553-8</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>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. <a href="/wiki/Boston,_Massachusetts" target="_blank">/wiki/Boston,_Massachusetts</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>GoogleBook 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. <a href="978-3-540-30553-8" target="_blank">978-3-540-30553-8</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> </ol>