Skip Ribbon Commands
Skip to main content




The 14th International Conference on the theme of 'Provable and Practical Security', ProvSec 2020, will be held in Singapore, in November 2020. Recent meetings have been held in Xi'an (China), Jeju (Korea), Cairns (Australia). ProvSec 2020 will be the first time this event is held in 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 will 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. In addition, the programme will include a panel discussion on “Building Trusted Cyber System on Provable Security Mechanisms”, with opinion leaders from the industry, academia and cybersecurity regulators to be invited to be panelists.


Call For Paper

General Information

ProvSec 2020 - the 14th International Conference on Provable and Practical Security - will take place in Singapore from 28 November to 01 December 2020. Authors are invited to submit original research papers on provable and practical security. Areas of interest include, but are not limited to:

* Provable security for asymmetric cryptography

* Provable security for symmetric cryptography

* Provable security for physical attacks

* Privacy and anonymity technologies

* Secure cryptographic protocols and applications

* Security notions, approaches, and paradigms

* Leakage-resilient cryptography

* Lattice-based cryptography and post-quantum cryptography

* Steganography and steganalysis

* Blockchain and Cryptocurrency

* IoT Security

* Cloud security

* Access control

* Privacy-enhancing technologies

* Database security

* Big data security and privacy

* Biometric Security

* Network security

* Formal methods for security

* Embedded systems security

* Lightweight security

* Cyber-physical security

Instructions for Authors

Submissions must be at most 16 pages excluding the bibliography, well-marked appendices, and supplementary material, and using the Springer LNCS format. Details on the Springer LNCS format can be obtained HERE.

Authors should not change the font or the margins of the LNCS format. There is no page limit on the appendices and supplementary material. Note that reviewers are not required to read the appendices or any supplementary material. It is strongly encouraged that submissions are processed in LaTeX. All submissions must have page numbers.

All submissions will be blind-refereed and thus must be anonymous, with no author names, affiliations, acknowledgments, or obvious references. Submissions must be submitted electronically in PDF format. Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel to a journal or any other conference/workshop that has proceedings. Accepted submissions may not appear in any other conference or workshop that has proceedings. Submissions not meeting these guidelines risk rejection without consideration of their merits.

Important Dates

Paper Submission Deadline: 03 July 2020 15 July 2020 (Anywhere on Earth)

Author Notification: 31 August 2020

Camera-ready and Registration: 14 September 2020

Conference Dates: 28 November - 01 December 2020

Conference Proceedings

Proce​edings will be published in Springer's Lecture Notes in Computer Science and will be available at the conference.