Skip to main content
  • Conference proceedings
  • © 2019

Provable Security

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

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

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): ProvSec: International Conference on Provable Security

Conference proceedings info: ProvSec 2019.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (25 papers)

  1. Front Matter

    Pages i-xi
  2. Post-quantum Cryptography

    1. Front Matter

      Pages 1-1
    2. Identity-Concealed Authenticated Encryption from Ring Learning with Errors

      • Chao Liu, Zhongxiang Zheng, Keting Jia, Limin Tao
      Pages 3-18
    3. Lattice-Based IBE with Equality Test in Standard Model

      • Dung Hoang Duong, Huy Quoc Le, Partha Sarathi Roy, Willy Susilo
      Pages 19-40
  3. Signatures

    1. Front Matter

      Pages 57-57
    2. History-Free Sequential Aggregate MAC Revisited

      • Shoichi Hirose, Junji Shikata
      Pages 77-93
    3. A Practical Lattice-Based Sequential Aggregate Signature

      • Zhipeng Wang, Qianhong Wu
      Pages 94-109
  4. Encryption

    1. Front Matter

      Pages 111-111
    2. Towards Enhanced Security for Certificateless Public-Key Authenticated Encryption with Keyword Search

      • Xueqiao Liu, Hongbo Li, Guomin Yang, Willy Susilo, Joseph Tonien, Qiong Huang
      Pages 113-129
    3. Space-Efficient and Secure Substring Searchable Symmetric Encryption Using an Improved DAWG

      • Hiroaki Yamamoto, Yoshihiro Wachi, Hiroshi Fujiwara
      Pages 130-148
    4. Plaintext-Verifiably-Checkable Encryption

      • Sha Ma, Qiong Huang, Ximing Li, Meiyan Xiao
      Pages 149-166
    5. Hierarchical Functional Signcryption: Notion and Construction

      • Dongxue Pan, Bei Liang, Hongda Li, Peifang Ni
      Pages 167-185
  5. Attack

    1. Front Matter

      Pages 187-187
    2. A Critique of Game-Based Definitions of Receipt-Freeness for Voting

      • Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth
      Pages 189-205
    3. Improved Cryptanalysis of the KMOV Elliptic Curve Cryptosystem

      • Abderrahmane Nitaj, Willy Susilo, Joseph Tonien
      Pages 206-221
    4. Solving ECDLP via List Decoding

      • Fangguo Zhang, Shengli Liu
      Pages 222-244
  6. Protocols

    1. Front Matter

      Pages 245-245
    2. Provably Secure Proactive Secret Sharing Without the Adjacent Assumption

      • Zhe Xia, Bo Yang, Yanwei Zhou, Mingwu Zhang, Hua Shen, Yi Mu
      Pages 247-264

Other Volumes

  1. Provable Security

About this book

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.”

Editors and Affiliations

  • Monash University, Melbourne, Australia

    Ron Steinfeld

  • The University of Hong Kong, Pok Fu Lam, Hong Kong

    Tsz Hon Yuen

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access