Type-based cryptographic operations*
Dominic Duggan · Journal of Computer Security · 2004
Cryptographic types are a way to express cryptographic guarantees (of secrecy and integrity) in a type system for a network programming language. This allows some of these guarantees to be checked statically, before a network program executes. Where