General Information:

Provable security is an important research area in modern cryptography. Cryptographic primitives or protocols without a rigorous proof cannot be regarded as secure in practice. In fact, there are many schemes that were originally thought as secure but eventually broken, which clearly indicates the need of formal security assurance. With provable security, we are confident in using cryptographic schemes and protocols in various real-world applications. Meanwhile, schemes with provable security sometimes give only theoretical feasibility rather than a practical construction, and correctness of the proofs may be difficult to verify. ProvSec conference thus provides a platform for researchers, scholars and practitioners to exchange new ideas for solving these problems in the provable security area. http://provsec2016.njue.edu.cn/index.html.

Conference Topics:

All aspects of provable security for cryptographic primitives or protocols, include but are not limited to the following areas:

· Asymmetric provably secure cryptography 

· Cryptographic primitives

· Lattice-based security reductions

· Leakage-resilient cryptography

· Pairing-based provably secure cryptography

· Privacy and anonymity technologies

· Provable secure hash functions

 · Provable security of key management

 · Secure cryptographic protocols and applications

 · Security notions, approaches, and paradigms  

 · Steganography and steganalysis

 · Symmetric provably secure cryptography

Publication and Awards:

The conference proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series (see www.springer.com/lncs). The best paper(s) and best student paper(s) will be selected and awarded a prize.

Special Issues:

              1. International Journal of Foundations of Computer Science (SCI, IF: 0.296)

   Special Issue on Security and Privacy in Big Data: Challenges and Formal Methods

More sepcial issues will be annanced soon.

Important Dates:

Paper submission deadline: June 3, 2016

Notification of acceptance: August 3, 2016

Camera ready deadline: August 14, 2016

Conference date: November 10-12, 2016

Papers must be submitted using the EasyChair conference management system at

https://easychair.org/conferences/?conf=provsec2016#inbox/_blank

General Chair:

Jie Cao (NUFE, China)

Program Committee Co-Chairs:

Liqun Chen (HP Labs,  Bristol, UK) < liqun.chen@hpe.com >

Jinguang Han (NUFE, China) <jghan22@gmail.com>

Program Committee:

Man Ho Au  ( PolyU, Hong Kong)
Joonsang Baek  (KUSTR, Arab)
Zhenfu Cao  (ECNU, China)
Aniello Castiglione  (UNISAEN, Italy)
Liqun Chen  (HP Laboratories, UK)
Yu Chen  (CAS, China)
Xiaofeng Chen  (Xidian University, China)
Céline Chevalie  (ENS, France)
Kim-Kwang Raymond Choo  (UniSA, Australia)
Sherman S.M Chow  (CUHK, Hong Kong)
Nico Döttling  (UC Berkeley,USA)
Georg Fuchsbauer  (ENS, France)
David Galindo  (University of Birmingham, UK)
Jinguang Han  (NUFE, China)
Qiong Huang  (SCAU, China)
Xinyi Huang  (FNU, China)
Sorina Ionica  (UPJV, France)
Kwangjo Kim  (KAIST, Korea)
Alptekin Küpçü  (Koç University, Turkey)
Jiguo Li  (Hohai University, China)
Yingjiu Li  (SMU, Singapore)
Kaitai Liang  (Aalto University, Finland)
Xiaodong Lin  (UOIT, Canada)
Joseph Liu  (Monash University, Australia)
Zhe Liu  (University of Waterloo, Canada)
Rongxing Lu  (NTU, Singapore)
Masahiro Mambo  (Kanazawa University, Japan)
Mark Manulis  (University of Surrey, UK)
Bart Mennink  (KU Leuven, Belgium)
Chris Mitchell  (Royal Holloway, University of London, UK)
Atsuko Miyaji  (Osaka University, Japan)
Yi Mu  (UOW, Australia)
Tatsuaki Okamoto  (NTT, Japan)
Thomas Peters  (UCL, Belgium)
Christophe Petit  (University of Oxford, UK)
Josef Pieprzyk  (QUT, Australia)
Yogachandran Rahulamathavan 

(Loughborough University, UK)
Kui Ren  (UB, USA)
Reza Reyhanitabar  (NEC Laboratories Europe, Germany)
Dominique Schröder  (Saarland University, Germany)
Willy Susilo  (UOW, Australia)
Qiang Tang  (University of Luxembourg, Luxembourg)
Cong Wang  (CityU, Hong Kong)
Huaxiong Wang  (NTU, Singapore)
Jian Weng  (Jinan University, China)
Qianhong Wu  (Beihang University, China)
Shouhuai Xu  (UTSA,, USA)
Guomin Yang  (UOW, Australia)
Chung-Huang Yang  (NKNU, Taiwan)
Wun-She Yap  (UTAR, Malaysia)
Xun Yi  (RMIT University, Australia)
Siu Ming Yiu  (HKU, Hong Kong)
Yong Yu  (UESTC, China)
Tsz Hon Yuen  (Huawei, Singapore)
Fangguo Zhang  (Sun Yat-sen University, China)
Futai Zhang  (NNU, China)
Rui Zhang  (CAS, China)
Yuan Zhang  (NJU China)
Zongyang Zhang  (AIST, Japan)
Jianying Zhou  (I2R, Singapore)