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.

* 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

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.

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.