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.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-31919-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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

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

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

Keywords

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

Editors and Affiliations

  • Monash University, Melbourne, Australia

    Ron Steinfeld

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

    Tsz Hon Yuen

Bibliographic Information

  • Book Title: Provable Security

  • Book Subtitle: 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

  • Editors: Ron Steinfeld, Tsz Hon Yuen

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-31919-9

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2019

  • Softcover ISBN: 978-3-030-31918-2

  • eBook ISBN: 978-3-030-31919-9

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 382

  • Number of Illustrations: 122 b/w illustrations, 9 illustrations in colour

  • Topics: Cryptology, Computing Milieux, Computer Communication Networks, Software Engineering

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-31919-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)