Skip to Content

The 13th International Conference on Provable and Practical Security (ProvSec 2019)

Cairns, Australia, 1 - 4 October 2019


Provable security is an essential tool for analyzing security of modern cryptographic primitives. The research community has witnessed the great contributions that the provable security methodology made to the analysis of cryptographic schemes and protocols. Nowadays cryptographic primitives without a rigorous "proof" cannot be regarded as sound. Also, the methodology has been used to discover security flaws in the 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.

Therefore, this year we decide to enrich the scope of this conference, by adding “Practical Security” into the theme. The new theme can 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.

Call for paper

Authors are invited to submit full papers presenting new research results related to information security technologies and applications. Areas of interest include, but are not limited to:

* Asymmetric provably secure cryptography
* Symmetric cryptographic primitives
* Lattice-based security reductions
* Leakage-resilient cryptography
* Privacy and anonymity technologies
* Secure cryptographic protocols and applications
* Security notions, approaches, and paradigms
* Steganography and steganalysis
* Blockchain and Cryptocurrency
* IoT Security
* Mobile security
* Cloud security
* Access control
* Privacy enhanced technology
* Viruses and malware
* Software security
* Database security
* Web security
* Operating system security
* Intrusion detection
* Big data security and privacy
* Biometric Security
* Network security
* Formal methods for security
* Digital forensics
* Security for critical infrastructures
* Embedded systems security
* Lightweight security
* Smart grid 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.

Submission link:

Important Dates:

Paper Submission: 31 May 2019
Notification: 5 July 2019
Conference: 1 – 4 October 2019

Proceedings including all accepted papers will be published in LNCS and will be available at the conference.


Organising Committee
General Co-Chairs
Joseph K. Liu, Monash University, Australia
Wei Xiang, James Cook University, Australia

Program Co-Chairs
Ron Steinfeld, Monash University, Australia
Tsz Hon Yuen, University of Hong Kong, Hong Kong

Publication Chair
Jiangshan Yu, Monash University, Australia

Publicity Co-Chairs
Xingliang Yuan, Monash University, Australia
Yu Wang, Guangzhou University, China

Technical Program Committee Members
Elena Andreeva, Katholieke Universiteit Leuven, Belgium
Man Ho Au, The Hong Kong Polytechnic University, Hong Kong
Joonsang Baek, University of Wollongong, Australia
Donghoon Chang, NIST, US
Xiaofeng Chen, Xidian University, China
Jie Chen, East China Normal University, China
Liqun Chen, University of Surrey, UK
Cheng-Kang Chu, Huawei, Singapore
Bernardo David, The University of Tokyo, Japan
Keita Emura, National Institute of Information and Communications Technology, Japan
Zekeriya Erkin, Delft University of Technology, Netherlands
Jinguang Han, Queen's University Belfast, UK
Xinyi Huang, Fujian Normal University, China
Ryo Kikuchi, NTT, Japan
Jongkil Kim, University of Wollongong, Australia
Veronika Kuchta, Monash University, Australia
Jianchang Lai, University of Wollongong, Australia
Hyung Tae Lee, Chonbuk National University, Taiwan
Jooyoung Lee, Korea Advanced Institute of Science and Technology, Korea
Kaitai Liang, University of Surrey, UK
Joseph Liu, Monash University, Australia
Rongxing Lu, University of New Brunswick, Canada
Daniel Xiapu Luo, The Hong Kong Polytechnic University, Hong Kong
Siqi Ma, CSIRO, Australia
Bernardo Magri, Aarhus University, Denmark
Barbara Masucci, University of Salerno, Italy
Bart Mennink, Radboud University, Netherlands
Chris Mitchell, Royal Holloway, University of London, UK
Kirill Morozov, University of North Texas, US
Abderrahmane Nitaj, LMNO, Université de caen, France
Raphael Phan, Monash University Malaysia, Malaysia
Josef Pieprzyk, CSIRO, Australia
Kouichi Sakurai, Kyushu University, Japan
Ron Steinfeld, Monash University, Australia
Rainer Steinwandt, Florida Atlantic University, US
Chunhua Su, University of Aizu, Japan
Shi-Feng Sun, Monash University, Australia
Willy Susilo, University of Wollongong, Australia
Katsuyuki Takashima, Mitsubishi Electric, Japan
Atsushi Takayasu, The University of Tokyo, Japan
Qiang Tang, New Jersey Institute of Technology, US
Dongvu Tonien, University of Wollongong, Australia
Damien Vergnaud, Université Pierre et Marie Curie / Institut Universitaire de France, France
Sheng Wen, Swinburne University of Technology, Australia
Qianhong Wu, Beihang University, China
Chung-Huang Yang, National Kaohsiung Normal University, Taiwan
Guomin Yang, University of Wollongong, Australia
Wun She Yap, Universiti Tunku Abdul Rahman, Malaysia
Xun Yi, RMIT University, Australia
Yong Yu, Shaanxi Normal University, China
Tsz Hon Yuen, The University of Hong Kong, Hong Kong
Aaram Yun, University of Minnesota, US


ProvSec 2019 will be held at Cairns, Australia.


The closest airport is Cairns Airport, which is 15km away from the campus. There are many international direct flights flying to Cairns (e.g. Hong Kong, Shenzhen, Guangzhou, Shanghai, Seoul, Osaka, Tokyo, Singapore, Auckland etc.) Alternatively, you can easily catch a domestic flight from any other major cities in Australia (e.g. Sydney, Melbourne, Brisbane, Perth etc.)

Cairns Attractions