14th International Conference on Provable and Practical Security (ProvSec)

Date 20-07-2020 Time: Website Fee: Website

Venue: Singapore
Link: http://scripts.ntu.edu.sg/NewsnEvents/Pages/Events-PROVSEC2020.aspx?ref=infosec-conferences.com
logo-conference-filler-v1 Security Event - 14th International Conference on Provable and Practical Security (ProvSec)


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.

Source : http://scripts.ntu.edu.sg/NewsnEvents/Pages/Events-PROVSEC2020.aspx?ref=infosec-conferences.com