-
Cryptol is a domain-specific
programming language for
cryptography developed by the Portland,
Oregon based software development firm, Galois, Inc. The...
- (alt) ·
Bluebook (alt1 · alt2) NLM (alt) ·
MathSciNet (alt ) ISO 4 J.
Cryptol.
MathSciNet J.
Cryptology Indexing CODEN (alt · alt2) ·
JSTOR (alt) · LCCN...
- this is an
example of a
domain specific language embedded into
Haskell Cryptol, a
language and
toolchain for
developing and
verifying cryptography algorithms...
-
Rules (CHR)
Control Language Coq CORAL,
Coral 66
CorVision COWSEL CPL
Cryptol Crystal Csound Cuneiform Curl
Curry Cybil Cyclone Cypher Query Language...
- Crystals-Kyber
Hardware Implementation with Side-Channel Protection" (PDF), IACR
Cryptol.
ePrint Arch. (in German){{citation}}: CS1 maint:
multiple names: authors...
- 2000 to 2014.
Under Launchbury’s direction,
Galois Inc.
developed the
Cryptol domain-specific
language for
specifying and
verifying cryptographic implementations...
-
cryptographers problem:
unconditional sender and
recipient untraceability". J
Cryptol. 1(1):65–75.
Knights and Knaves.
David Chaum (1985). "Security without...
-
Cryptology –
Proceedings of
CRYPTO 99 (1999). Full
version appeared in J.
Cryptol. (2013) 26: 80–101
Seminar 'Cryptography and
Security in Banking'/'Alternative...
-
Hiroki ****uya (1997). A
language dependent cryptographic primitive, In J.
Cryptol., 10(1):37-49,
cited in
Shien Hin Ong and
Salil Vadhan (2008). An Equivalence...
- CLIPS, Clojure, COBOL, Cobra, Coconut, CoffeeScript,
Common Lisp, CPY,
Cryptol, Crystal, Curry, Cyclone, D, Dafny, Dart, Dash, dc, dg, DScript, Dyvil...
