The Eighth International Conference on Provable Security (ProvSec 2014)
will be held in Hong Kong on 9-10 October 2014. It will be organized by
University of Hong Kong.
The conference time and place puts it before ISC 2014 in the same venue. This is a wonderful opportunity to attend two excellent security conferences in one trip!
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.
The previous ProvSec conference series were successfully held in
Wollongong, Australia (2007),
Shanghai, China (2008),
Guangzhou, China (2009),
Malacca, Malaysia (2010),
Xi'an, China (2011),
Chengdu, China (2012) and
Melaka, Malaysia (2013). The conference proceedings will be published by Springer-Verlag in the
Lecture Notes in Computer Science series.
** NEWS: Registration is open and
Hotel Information is available!! **
The proceedings (LNCS 8782) is available!
Last Update: 2 October 2014
Template adopted from the website of ProvSec '13
Maintained by Sherman S. M. Chow and Joseph K. Liu
Photo Credit: Tsz Hon Yuen