Proceedings of the Fifth International Conference on Provable Security (ProvSec)

Details

Event ProvSec 2011

Authors

Xavier Boyen
Technical Publications
October 16th 2011
Provable security is an important research area in modern cryptography. Cryptographic primitives or protocols without a rigorous proof cannot be regarded as secure even 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. The ProvSec conference provides a platform for researchers, scholars and practitioners to exchange new ideas for solving these problems in the provable security area.

Citation

Boyen, X.; Chen, X., co-chairs. Proceedings of the Fifth International Conference on Provable Security (ProvSec); 2011 October 16-18; Xian, China. (to be published as volume 6980 of the Springer Lecture Notes in Computer Science)

Additional information

Focus Areas

Our work is centered around a series of Focus Areas that we believe are the future of science and technology.

FIND OUT MORE
Licensing & Commercialization Opportunities

We’re continually developing new technologies, many of which are available for Commercialization.

FIND OUT MORE
News

Our scientists and staffers are active members and contributors to the science and technology communities.

FIND OUT MORE