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
Remark:
logo-conference-filler-v1 Security Event - 14th International Conference on Provable and Practical Security (ProvSec)
 
Overview
 
 


 

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