Skip Ribbon Commands
Skip to main content



The 14th International Conference on the theme of “Provable and Practical Security”, ProvSec 2020, will be held from November 29th to December 1st, 2020. Recent editions of ProvSec have been held in Xi'an (China), Jeju (Korea), Cairns (Australia). ProvSec 2020  was initially planned to take place in Singapore. Due to the global COVID-19 pandemic, the conference will  be changed to an online format, hosted by the Strategic Centre for Research in Privacy-Preserving Technologies & Systems (SCRIPTS) at Nanyang Technological University, Singapore.


Provable security is an essential tool for analyzing security of modern cryptographic primitives in order to achieve high assurance of trusted and secure cyber systems. The research community has witnessed the great contributions that the provable security methodology made to the analysis of cryptographic schemes and protocols, as well as their implementations in the trusted and secure systems. Nowadays cryptographic primitives without a rigorous "proof" cannot be regarded as sound. Also, the methodology has been used to discover security flaws in the implementation of cryptographic schemes and protocols, which were considered seemingly secure without formal analysis. On the one hand, provable security provides confidence in using cryptographic schemes and protocols for various real-world applications, but on the other hand, schemes with provable security are sometimes not efficient enough to be used in practice, and correctness of the proofs may be difficult to verify.


This year we continue our efforts to promote “Practical Security” into the theme. The event will bring together researchers and practitioners to provide a confluence of new practical cyber security technologies, including their applications and their integration with IT systems in various industrial sectors.


The Program Committee consists of 65 members from all over the world. In response to the Call for Papers, 59 papers were submitted to the conference. The papers were reviewed in a double-blind manner. Each paper was carefully evaluated by 3 to 5 reviewers, and then discussed among the Program Committee. Finally, 20 papers were selected for presentation at the conference. Based on the reviews and votes by Program Committee members, the following paper was given the Best Paper Award, with a prize of EUR 1000 generously sponsored by Springer:


Group Signature without Random Oracles from Randomizable Signatures”,

by Remi Clarisse, Olivier Sanders.


We are also honored and delighted to announce that the conference program will include 5 keynote talks by


Prof Ronald Cramer (CWI, Netherlands),

Prof Tetsu Iwata (Nagoya University, Japan),

Prof Chris Mitchell (Royal Holloway, University of London, UK),

Prof Mike Rosulek (Oregon State University, USA),

Prof Yu Yu (Shanghai Jiao Tong University, China).​