Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,921,235 papers from all fields of science
Search
Sign In
Create Free Account
Cryptol
Cryptol is a domain specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Artificial intelligence
Cipher
Cryptography
Encryption
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Perfectly Secure Message Transmission Scheme against Rational Adversaries
Maiki Fujita
,
Takeshi Koshiba
IACR Cryptology ePrint Archive
2017
Corpus ID: 31088430
Secure Message Transmission (SMT) is a two-party cryptographic scheme by which a sender securely and reliably sends messages to a…
Expand
2012
2012
Erratum to: A Comparison of Cryptanalytic Tradeoff Algorithms
Jin Hong
,
Sunghwan Moon
Journal of Cryptology
2012
Corpus ID: 253632810
2010
2010
Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol
Sally Browning
,
P. Weaver
Design and Verification of Microprocessor Systems…
2010
Corpus ID: 59716933
Cryptographic functional units are increasingly being incorporated into microprocessor designs. In this chapter, we demonstrate…
Expand
2010
2010
Cryptol, a DSL for cryptographic algorithms
Sally Browning
CUFP '10
2010
Corpus ID: 12985942
Cryptol is a domain-specific functional language designed by Galois, Inc in collaboration with the the NSA for specifying…
Expand
2009
2009
High assurance programming in Cryptol
Levent Erkök
,
John Matthews
Cyber Security and Information Intelligence…
2009
Corpus ID: 7700473
Cryptol is a domain specific language tailored for cryptographic algorithms (www.cryptol.net). Explicit support for program…
Expand
2008
2008
Fast correlation attack on stream cipher ABC v3
Haina Zhang
,
Lin Li
,
Xiaoyun Wang
Science in China Series F: Information Sciences
2008
Corpus ID: 14786922
ABC v3 is a stream cipher submitted to the ECRYPT eStream project and has entered the second evaluation phase. Its key length is…
Expand
2008
2008
An Embedding of Cryptol in HOL-4
Guodong Li
,
Konrad Slind
2008
Corpus ID: 14463616
In this paper we explore a shallow embedding of Cryptol in HOL-4 by providing a way to import Cryptol programs into HOL-4 so as…
Expand
2006
2006
Fast Correlation Attack on Stream Cipher Abc V3
Haina Zhang
,
Lin Li
,
Xiaoyun Wang
2006
Corpus ID: 264407954
ABC v3 is a stream cipher proposed as a candidate to ECRYPT Estream Project which enters the second evaluation phase. Its key…
Expand
2005
2005
Recent Developments in Tracing Traitors
Chang Chen
2005
Corpus ID: 18850809
In 2000 and 2001, Chor and Fiat etc. published two papers, [2] and [4], which can trace traitors who redistribute keys and…
Expand
1997
1997
Substitution-Permutation Network Cryptosystems Using Key-Dependent S-Boxes
Liam Keliher
1997
Corpus ID: 15895393
Substitution-permutation networks (SPNs) are an important class of private key cryptosystems, having substitution boxes (s-boxes…
Expand