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 (Anywhere on Earth)

Author Notification: 31 August 2020

Camera-ready and Registration: 14 September 2020

Conference Dates: 28 November - 01 December 2020

Conference Proceedings

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


General Co-Chairs

Kwok Yan Lam, Nanyang Technological University, Singapore

Huaxiong Wang, Nanyang Technological University, Singapore

Program Co-Chairs

Khoa Nguyen, Nanyang Technological University, Singapore

Wenling Wu, Chinese Academy of Sciences, China

Program Committee

Elena Andreeva, Technical University of Denmark, Denmark
Man Ho Au, The University of Hong Kong, Hong Kong
Joonsang Baek, University of Wollongong, Australia
Shi Bai, Florida Atlantic University, USA
Rishiraj Bhattacharyya, NISER, India
Jie Chen, East China Normal University, China
Hua Chen, Institute of Software, Chinese Academy of Sciences, China
Cheng-Kang Chu, Huawei, Singapore
Chitchanok Chuengsatiansup, The University of Adelaide, Australia
Yi Deng, Institute of Information Engineering, Chinese Academy of Sciences, China
Dung Hoang Duong, University of Wollongong, Australia
Keita Emura, NICT, Japan
Xiong Fan, University of Maryland, USA
Junqing Gong, East China Normal University, China
Swee-Huay Heng, Multimedia University, Malaysia
Qiong Huang, South China Agricultural University, China
Xinyi Huang, Fujian Normal University, China
Tetsu Iwata, Nagoya University, Japan
David Jao, University of Waterloo, Canada
Sabyasachi Karati, NISER, India
Shuichi Katsumata, AIST, Japan
Xu Ke, Singapore Management University, Singapore
Jooyoung Lee, KAIST, Korea
Hyung Tae Lee, Jeonbuk National University, Korea
Yang Li, The University of Electro-Communications, Japan
Changlu Lin, Fujian Normal University, China
Joseph Liu, Monash University, Australia
Zhen Liu, Shanghai Jiao Tong University, China
Dongxi Liu, CSIRO, Australia
Shengli Liu, Shanghai Jiao Tong University, China
Chris Mitchell, Royal Holloway, University of London, UK
Kirill Morozov, University of North Texas, USA
Fabrice Mouhartem, IIT Madras, India
Khoa Nguyen, Nanyang Technological University, Singapore
Federico Pintore, University of Oxford, UK
Baodong Qin, Xi'an University of Posts and Telecommunications, China
Somindu C. Ramanna, IIT Kharagpur, India
Amin Sakzad, Monash University, Australia
Olivier Sanders, Orange Labs, France
Jae Hong Seo, Hanyang University, Korea
Daniel Slamanig, Austrian Institute of Technology, Austria
Shi-Feng Sun, Monash University, Australia
Willy Susilo, University of Wollongong, Australia
Paweł Szałachowski, Singapore University of Technology and Design, Singapore
Katsuyuki Takashima, Mitsubishi Electric, Japan
Atsushi Takayasu, NICT, Japan
Benjamin Hong Meng Tan, Institute for Infocomm Research, A*STAR, Singapore
Ni Trieu, University of California, Berkeley, USA
Viet Cuong Trinh, Hong Duc University, Vietnam
Damien Vergnaud, Université Pierre et Marie Curie/Institut Universitaire de France, France
Lei Wang, Shanghai Jiao Tong University, China
Liping Wang, Institute of Information Engineering, Chinese Academy of Sciences, China
Weiqiang Wen, Univ Rennes, CNRS, IRISA, France
Wenling Wu, Chinese Academy of Sciences, China
Keita Xagawa, NTT, Japan
Yanhong Xu, University of Calgary, Canada
Haiyang Xue, Institute of Information Engineering, Chinese Academy of Sciences, China
Rupeng Yang, The Hong Kong Polytechnic University, Hong Kong
Chung-Huang Yang, National Kaohsiung Normal University, Taiwan
Guomin Yang, University of Wollongong, Australia
Yong Yu, Shaanxi Normal University, China
Zhenfei Zhang, Algorand
Jiang Zhang, Institute of Software, Chinese Academy of Sciences, China
Liangfeng Zhang, ShanghaiTech University, China




Local Attractions

Marina Bay
Gardens by the Bay
Clarke Quay
Colonial District

Not sure which programme to go for? Use our programme finder
Loading header/footer ...