Programming Cryptographic Protocols.

Joshua D. Guttman Jonathan C. Herzog John D. Ramsdell Brian T. Sniffen

Published in: TGC (2005)

Keyphrases

cryptographic protocols
programming language
standard model
authentication protocol
security properties
security protocols
locally decodable codes
private information retrieval
low cost