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

Details

Event ProvSec 2011
Xian, China. Date of Talk: 10/16/2011

Speakers

Xavier Boyen
Event

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

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.

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

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

FIND OUT MORE