Cryptol: A Domain-Specific Language for Cryptographic Service Providers
Presented as part of the
2001 HCSS conference
.
License:
Creative Commons 2.5
Jeff Lewis
Other available formats:
Cryptol: A Domain-Specific Language for Cryptographic Service Providers
Switch to normal viewer
Switch to experimental viewer
