© 2019

Provable Security

13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

  • Ron Steinfeld
  • Tsz Hon Yuen
Conference proceedings ProvSec 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11821)

Also part of the Security and Cryptology book sub series (LNSC, volume 11821)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Post-quantum Cryptography

    1. Front Matter
      Pages 1-1
    2. Chao Liu, Zhongxiang Zheng, Keting Jia, Limin Tao
      Pages 3-18
    3. Dung Hoang Duong, Huy Quoc Le, Partha Sarathi Roy, Willy Susilo
      Pages 19-40
  3. Signatures

  4. Encryption

    1. Front Matter
      Pages 111-111
    2. Xueqiao Liu, Hongbo Li, Guomin Yang, Willy Susilo, Joseph Tonien, Qiong Huang
      Pages 113-129
    3. Hiroaki Yamamoto, Yoshihiro Wachi, Hiroshi Fujiwara
      Pages 130-148
    4. Sha Ma, Qiong Huang, Ximing Li, Meiyan Xiao
      Pages 149-166
    5. Dongxue Pan, Bei Liang, Hongda Li, Peifang Ni
      Pages 167-185
  5. Attack

    1. Front Matter
      Pages 187-187
    2. Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth
      Pages 189-205
    3. Abderrahmane Nitaj, Willy Susilo, Joseph Tonien
      Pages 206-221
    4. Fangguo Zhang, Shengli Liu
      Pages 222-244
  6. Protocols

    1. Front Matter
      Pages 245-245
    2. Zhe Xia, Bo Yang, Yanwei Zhou, Mingwu Zhang, Hua Shen, Yi Mu
      Pages 247-264
    3. Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe
      Pages 265-272
  7. Blockchain

    1. Front Matter
      Pages 273-273
    2. Zeming Lu, Zoe L. Jiang, Yulin Wu, Xuan Wang, Yantao Zhong
      Pages 275-287
    3. Haibo Tian, Peiran Luo, Yinxue Su
      Pages 288-302
    4. Bin Yu, Shabnam Kasra Kermanshahi, Amin Sakzad, Surya Nepal
      Pages 303-318
  8. Short Papers

    1. Front Matter
      Pages 319-319
    2. Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama
      Pages 330-338
    3. Yi Liu, Zhen Liu, Yu Long, Zhiqiang Liu, Dawu Gu, Fei Huan et al.
      Pages 339-346
  9. Ron Steinfeld, Tsz Hon Yuen
    Pages C1-C1
  10. Back Matter
    Pages 381-382

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019.  The 18 full and 6 short papers presented were carefully reviewed and selected from 51 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives, including a special theme on “Practical Security.”


access control authentication computer science cryptography data privacy encryption formal security models privacy preserving provable security public key cryptography software engineering

Editors and affiliations

  1. 1.Monash UniversityMelbourneAustralia
  2. 2.The University of Hong KongPok Fu LamHong Kong

Bibliographic information