Sequential Rationality in Cryptographic Protocols.

Ronen Gradwohl Noam Livne Alon Rosen

Published in: IACR Cryptol. ePrint Arch. (2010)

Keyphrases

cryptographic protocols
security properties
standard model
game theory
security protocols
bounded rationality
authentication protocol
locally decodable codes
multi agent
real time
formal verification