Cryptol: A Domain Specific Language for Cryptography

• Cryptol's Module System
• Parameterized Modules Design
• Some notes on the Semantics of Cryptol
• Cryptol Developer Style Guide