ProvSec 2013 - The Seventh International Conference on Provable Security (ProvSec 2013)

The proceedings will be published in the Lecture Notes in Computer Science series, Springer-Verlag.
Topics include all aspects of provable security for cryptographic primitives or protocols, and include but are not limited to the following areas:
? Cryptographic primitives
? Digital signatures
? Formal security model
? Lattice-based security reductions
? Pairing-based provably secure cryptography
? Privacy and anonymity technologies
? Provable secure block ciphers and hash functions
? Secure cryptographic protocols and applications
? Security notions, approaches, and paradigms
? Steganography and steganalysis
Important Dates:
Paper submission deadline: 23 May 2013
Notification of acceptance: 23 July 2013
Proceedings version deadline: 12 August 2013