國立虎尾科技大學 |

Provable and practical security = 17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Provable and practical security/ edited by Mingwu Zhang, Man Ho Au, Yudi Zhang.
Reminder of title:	17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /
remainder title:	ProvSec 2023
other author:	Zhang, Mingwu.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer Nature Switzerland : : 2023.,
Description:	xiii, 450 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
Subject:	Computer security - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-031-45513-1
ISBN:	9783031455131

Provable and practical security = 17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /
Provable and practical security17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /[electronic resource] :ProvSec 2023edited by Mingwu Zhang, Man Ho Au, Yudi Zhang. - Cham :Springer Nature Switzerland :2023. - xiii, 450 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,142170302-9743 ;. - Lecture notes in computer science ;6140..

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 Sigma Protocols 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.

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.

ISBN: 9783031455131

Standard No.: 10.1007/978-3-031-45513-1doiSubjects--Topical Terms:

574522
Computer security
--Congresses.

LC Class. No.: QA76.9.A25 / P76 2023

Dewey Class. No.: 005.82

Provable and practical security = 17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /
LDR:03571nam a2200373 a 4500 001 1117489
003 DE-He213
005 20231011011920.0
006 m d
007 cr nn 008maaau
008 240126s2023 sz s 0 eng d
020 $a 9783031455131 $q (electronic bk.)
020 $a 9783031455124 $q (paper)
024 7 $a 10.1007/978-3-031-45513-1 $2 doi
035 $a 978-3-031-45513-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b P76 2023
072 7 $a GPJ $2 bicssc
072 7 $a URY $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a GPJ $2 thema
072 7 $a URY $2 thema
082 0 4 $a 005.82 $2 23
090 $a QA76.9.A25 $b P969 2023
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Provable and practical security $h [electronic resource] : $b 17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings / $c edited by Mingwu Zhang, Man Ho Au, Yudi Zhang.
246 3 $a ProvSec 2023
260 $a Cham : $c 2023. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xiii, 450 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14217
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 Sigma Protocols 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.
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.
650 0 $a Computer security $v Congresses. $3 574522 $3 727780
650 0 $a Data encryption (Computer science) $3 658943
650 1 4 $a Cryptology. $3 1211076
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Mobile and Network Security. $3 1211619
650 2 4 $a Computer and Information Systems Applications. $3 1365732
700 1 $a Zhang, Mingwu. $e editor. $3 1285606
700 1 $a Au, Man Ho. $3 1211629
700 1 $a Zhang, Yudi. $e editor. $1 https://orcid.org/0000-0002-7830-5133 $3 1393054
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-45513-1
950 $a Computer Science (SpringerNature-11645)