The Ninth International Conference on Provable Security
Kanazawa, Japan, November 24-26, 2015.
(Submission deadline: June 17, 2015)

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. In fact, there are many schemes that
were originally thought as secure but eventually broken, which clearly
indicates the need of formal security assurance. With provable security,
we are confident in using cryptographic schemes and protocols in various
real-world applications. Meanwhile, 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 thus provides a platform for researchers, scholars
and practitioners to exchange new ideas for solving these problems in
the provable security area. All aspects of provable security for
cryptographic primitives or protocols, include but are not limited to
the following areas:
•Asymmetric provably secure cryptography
•Cryptographic primitives
•Lattice-based security reductions
•Leakage-resilient cryptography
•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

For more information, please see