Skip to main content
SpringerLink
Log in

Provable and Practical Security

17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Mingwu Zhang

    1. Hubei University of Technology, Wuhan, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Man Ho Au

    1. Hong Kong Polytechnic University, Kowloon, Hong Kong

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yudi Zhang

    1. University of Wollongong, Wollongong, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ProvSec 2023.

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

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Fundamentals and Cryptographic Primitives

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Efficient Zero-Knowledge Arguments for Matrix Relations over Rings and Non-malleable Enhancement

      • Yuan Tian, Xinke Tian, Yongda Pang
      Pages 3-26

    3. Reversible Data Hiding in Encrypted Images Based on Block Classification Coding of Sparse Representation

      • Fuhu Wu, Lin Wang, Shun Zhang, Jie Cui, Hong Zhong
      Pages 27-43

    4. Signcryption-Based Encrypted Traffic Detection Scheme for Fast Establishing Secure Connections

      • Hao Zhu, Fagen Li, Lihui Liu, Yong Zeng, Xiaoli Li, Jianfeng Ma
      Pages 44-63

  3. Cryptanalysis

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Improved Key-Recovery Attacks Under Imperfect SCA Oracle for Lattice-Based KEMs

      • Wenhao Shi, Jiang Han, Haodong Jiang, Zhi Ma
      Pages 67-82

    3. Linear Cryptanalysis of Lightweight Block Cipher WARP

      • Hong Xu, Chunyu Hao, Zhichao Xu, Wenfeng Qi
      Pages 83-90

    4. Linicrypt in the Ideal Cipher Model

      • Zahra Javar, Bruce M. Kapron
      Pages 91-111

  4. Signature

    1. Front Matter

      Pages 113-113
      Download chapter PDF

    2. SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature Between PKI and IBC

      • Yibing Wang, Xiaoxiao Wang, Chin-tser Huang, Dejun Wang, Binhao Ma, Bo Meng
      Pages 115-130

    3. Key-Range Attribute-Based Signatures for Range of Inner Product and Its Applications

      • Masahito Ishizaka
      Pages 131-156

    4. A Certificateless Aggregate Signature Scheme with Better Security

      • Ran Xu, Yanwei Zhou, Yu Han, Bo Yang
      Pages 157-165

    5. Constant-Size Group Signatures with Message-Dependent Opening from Lattices

      • Simin Chen, Jiageng Chen, Atsuko Miyaji, Kaiming Chen
      Pages 166-185

    6. Post-quantum Sigma Protocols and Signatures from Low-Rank Matrix Completions

      • Jiaming Wen, Houzhen Wang, Huanguo Zhang
      Pages 186-206

    7. Threshold Ring Signature Scheme from Cryptographic Group Action

      • Minh Thuy Truc Pham, Dung Hoang Duong, Yannan Li, Willy Susilo
      Pages 207-227

  5. Encryption

    1. Front Matter

      Pages 229-229
      Download chapter PDF

    2. Homomorphic Witness Encryption from Indistinguishable Obfuscation

      • Yuzhu Wang, Xingbo Wang, Mingwu Zhang
      Pages 231-250

    3. Identity-Based Matchmaking Encryption Secure Against Key Generation Center

      • Sohto Chiku, Keisuke Hara, Junji Shikata
      Pages 251-273

    4. Multi-input Functional Encryption for Unbounded Inner Products

      • Bishnu Charan Behera, Somindu C. Ramanna
      Pages 274-289
Back to top

Other volumes

  1. Provable and Practical Security

Keywords

About this book

This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, held in Wuhan, China, during October 2023.  

The 20 full papers presented together with 3 short papers were carefully reviewed and selected from 71 submissions. The conference focuses on Fundamentals & Cryptographic Primitives; Cryptanalysis; Signature; Encryption; Privacy Preservation; and Blockchain Security.

Editors and Affiliations

  • Hubei University of Technology, Wuhan, China

    Mingwu Zhang

  • Hong Kong Polytechnic University, Kowloon, Hong Kong

    Man Ho Au

  • University of Wollongong, Wollongong, Australia

    Yudi Zhang

Bibliographic Information

  • Book Title: Provable and Practical Security

  • Book Subtitle: 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings

  • Editors: Mingwu Zhang, Man Ho Au, Yudi Zhang

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-45513-1

  • Publisher: Springer Cham

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

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-45512-4Published: 11 October 2023

  • eBook ISBN: 978-3-031-45513-1Published: 10 October 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 450

  • Number of Illustrations: 35 b/w illustrations, 54 illustrations in colour

  • Topics: Cryptology, Computer Communication Networks, Mobile and Network Security, Computer Applications

Publish with us

Policies and ethics

Back to top

Search

Navigation