American Mathematical Society

My Account · My Cart · Customer Services · FAQ  

The Eighth International Conference on Provable Security (ProvSec 2014)

Month: October 2014

Date: October 9--10

Name: The Eighth International Conference on Provable Security (ProvSec 2014)

Location: The University of Hong Kong, Hong Kong.


Description

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 of 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.

Information

http://home.ie.cuhk.edu.hk/~provsec14.