A Symbolic Logic with Concrete Bounds for Cryptographic Protocols.

Anupam Datta Joseph Y. Halpern John C. Mitchell Arnab Roy Shayak Sen

Published in: CoRR (2015)

Keyphrases

cryptographic protocols
upper bound
standard model
security properties
lower bound
modal logic
security protocols
symbolic representation
binary decision diagrams
locally decodable codes