Call for Papers

  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.

  The first ProvSec conference was successfully held on Nov. 1st-2nd, 2007 at the University of Wollongong, Australia. The proceeding is published in LNCS Vol. 4784. The second ProvSec conference was held in Shanghai , China , Oct. 30th - Nov. 1st, 2008. The proceeding is published in LNCS Vol. 5324.

  Topics include all aspects of provable security for cryptographic primitives or protocols, and include but are not limited to the following areas: 

  • Cryptographic primitives
  • Security notions, approaches, and paradigms
  • Formal security model
  • Secure cryptographic protocols and applications
  • Provable secure block ciphers and hash functions
  • Digital signatures
  • Privacy and anonymity technologies
  • Steganography and steganalysis
  • Lattice-based security reductions
  • Pairing-based provably secure cryptography

Instructions for authors: Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel for consideration of any other journal, conference/workshop with proceedings. The submission should begin with a title followed by a short abstract and keywords. Submissions should have at most 12 pages excluding the bibliography and appendices, and at most 20 pages in total, using at least 11-point fonts and with reasonable margins. Papers must be formatted according to the LNCS rules. All submissions should be anonymous. Authors of accepted papers must guarantee that at least one of the authors will attend the conference and present their paper.

Submission instructions: Papers must be submitted electronically through the submission web page . Electronic submissions must conform to the procedure described in the submission server and must be received by the deadline indicated above. Electronic submission via the described interface is the only form of submission considered.

Conference Proceedings:

Proceedings will be published in Springer's Lecture Notes in Computer Science.

Important Dates:

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.