國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Provable and practical security/ edited by Mingwu Zhang, Man Ho Au, Yudi Zhang.
其他題名:	17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /
其他題名:	ProvSec 2023
其他作者:	Zhang, Yudi.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xiii, 450 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Computer and Information Systems Applications. -
電子資源:	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:

1365732
Computer and Information Systems Applications.

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 2 4 $a Computer and Information Systems Applications. $3 1365732
650 2 4 $a Mobile and Network Security. $3 1211619
650 2 4 $a Computer Communication Networks. $3 669310
650 1 4 $a Cryptology. $3 1211076
650 0 $a Data encryption (Computer science) $3 658943
650 0 $a Computer security $v Congresses. $3 574522 $3 727780
700 1 $a Zhang, Yudi. $e editor. $1 https://orcid.org/0000-0002-7830-5133 $3 1393054
700 1 $a Au, Man Ho. $3 1211629
700 1 $a Zhang, Mingwu. $e editor. $3 1285606
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)