Visible to the public Cryptol: A Domain-Specific Language for Cryptographic Service Providers

Submitted by brad_martin on Thu, 02/09/2012 - 2:02pm. Contributor:

Presented as part of the 2001 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Cryptol: A Domain-Specific Language for Cryptographic Service Providers
Switch to experimental viewer