Cryptol: A Domain-Specific Language for Cryptographic Service Providers Download Presented as part of the 2001 HCSS conference. Tags: Galois Industry Presentation HCSS '01 HCSS 2001 License: CC-2.5 Submitted by William Martin on Thu, 02/09/2012 - 13:02
