Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol.

Kenneth G. Paterson Thomas Ristenpart Thomas Shrimpton

Published in: ASIACRYPT (2011)

Keyphrases

security protocols
cryptographic protocols
denial of service attacks
secure routing
rfid systems
formal proof
database
theorem proving
rfid tags
formal analysis
traffic analysis
elliptic curve
watermarking scheme
theorem prover
lightweight
low cost
keywords