The Provable Security Conference (ProvSec 2009) will be held in Guangzhou , China , on 11-13, November, 2009.
Provable security is an important research area in modern cryptography. Cryptographic primitives or protocols without a rigorous proof cannot be regarded as secure in practice. There are many schemes that are originally thought as secure being successfully cryptanalyzed, which clearly indicates the need of formal security assurance. With provable security, we are confident in using cryptographic applications to replace the traditional way in physical world. Unfortunately, schemes with provable security sometimes give only theoretical feasibility rather than a practical construction, and correctness of the proofs may be difficult to verify. ProvSec conference provides a platform for researchers, scholars and practitioners to exchange new ideas for solving these problems in the provable security area.
Topics include all aspects of provable security for cryptographic primitives or protocols, and include but are not limited to the following areas:
Conference Proceedings ：
New! Proceedings will be published in Springer's Lecture Notes in Computer Science.
|Paper submission deadline:||10 May 2009|
|Notification of acceptance:||10 July 2009|
|Camera ready papers due:||31 July 2009|
Note: The ChinaCrypt 2009 conference will be held on November 13-15, 2009 in Guangzhou.