Cryptol: A Domain Specific Language for Cryptography Download Tags: HCSS 2002 Galois Presentation Industry HCSS '02 License: CC-2.5 Submitted by Timothy Thimmesch on Tue, 09/13/2011 - 16:16