Cryptyc: A Cryptographic Protocol Typechecker
Presented as part of the
2003 HCSS conference
.
License:
Creative Commons 2.5
Alan Jeffrey
Andrew D. Gordon
Other available formats:
Cryptyc: A Cryptographic Protocol Typechecker
Switch to normal viewer
Switch to experimental viewer
