Login / Signup
Sequential Rationality in Cryptographic Protocols
Ronen Gradwohl
Noam Livne
Alon Rosen
Published in:
CoRR (2010)
Keyphrases
</>
cryptographic protocols
standard model
security protocols
security properties
authentication protocol
multi agent
locally decodable codes
data streams
lightweight
web services
response time
low cost
inter frame
formal verification
private information retrieval