Provable and Practical Security 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings

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

Full description

Bibliographic Details
Other Authors: Zhang, Mingwu (Editor), Au, Man Ho (Editor), Zhang, Yudi (Editor)
Format: eBook
Language:English
Published: Cham Springer Nature Switzerland 2023, 2023
Edition:1st ed. 2023
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 03757nmm a2200385 u 4500
001 EB002183191
003 EBX01000000000000001320678
005 00000000000000.0
007 cr|||||||||||||||||||||
008 231103 ||| eng
020 |a 9783031455131 
100 1 |a Zhang, Mingwu  |e [editor] 
245 0 0 |a Provable and Practical Security  |h Elektronische Ressource  |b 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings  |c edited by Mingwu Zhang, Man Ho Au, Yudi Zhang 
250 |a 1st ed. 2023 
260 |a Cham  |b Springer Nature Switzerland  |c 2023, 2023 
300 |a XIII, 450 p. 89 illus., 54 illus. in color  |b online resource 
505 0 |a Fundamentals & Cryptographic Primitives -- Efficient Zero-Knowledge Arguments for Matrix Relations over Rings and Non-malleable Enhancement -- Reversible Data Hiding in Encrypted Images Based on Block Classification Coding of Sparse Representation -- Signcryption-based Encrypted Traffic Detection Scheme for Fast Establishing Secure Connections -- Cryptanalysis -- Improved Key-Recovery Attacks under Imperfect SCA Oracle for Latticebased KEMs -- Linear Cryptanalysis of Lightweight Block Cipher WARP -- Linicrypt in the Ideal Cipher Model -- Signature -- SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature between PKI and IBC -- Key-Range Attribute-Based Signatures for Range of Inner Product and Its Applications -- A Certificateless Aggregate Signature Scheme with Better Security -- Constant-size Group Signatures with Message-Dependent Opening from Lattices -- Post-quantum SigmaProtocols and Signatures from Low-Rank Matrix Completions -- Threshold Ring Signature Scheme from Cryptographic Group Action -- Encryption -- Homomorphic Witness Encryption from Indistinguishable Obfuscation -- Identity-based Matchmaking Encryption Secure against Key Generation Center -- Multi-Input Functional Encryption for Unbounded Inner Products -- FleS: a compact and parameter-flexible supersingular isogeny based public key encryption scheme -- A New Revocable Attribute Based Encryption on Lattice -- An efficient keyword-based ciphertext retrieval scheme -- Privacy Preservation -- Privacy Preserving Outsourced K-means Clustering using Kd-tree -- Fuzzy Deduplication Scheme Supporting Pre-verification of Label Consistency -- A Privacy-Preserving Takeaway Delivery Service Scheme -- Blockchain Security -- CDRF: A Detection Method of Smart Contract Vulnerability Based on Random Forest -- simuBits: Pool Security Verification of Novel Mining Attacks 
653 |a Computer Communication Networks 
653 |a Mobile and Network Security 
653 |a Computer networks / Security measures 
653 |a Cryptography 
653 |a Application software 
653 |a Computer networks  
653 |a Data encryption (Computer science) 
653 |a Cryptology 
653 |a Computer and Information Systems Applications 
700 1 |a Au, Man Ho  |e [editor] 
700 1 |a Zhang, Yudi  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/978-3-031-45513-1 
856 4 0 |u https://doi.org/10.1007/978-3-031-45513-1?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.824 
520 |a 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