國立高雄大學圖資館 |

Language: English

Back

Provable and practical security17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Provable and practical securityedited 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:
Published:	Cham :Springer Nature Switzerland :2023.
Description:	xiii, 450 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer securityCongresses.
Online resource:	https://doi.org/10.1007/978-3-031-45513-1
ISBN:	9783031455131$q(electronic bk.)

Provable and practical security17th 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 ;4891..

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$q(electronic bk.)

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

383239
Computer security
--Congresses.

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

Dewey Class. No.: 005.82

Provable and practical security17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023 : proceedings /
LDR:03571nmm a2200373 a 4500 001 651924
003 DE-He213
005 20231011011920.0
006 m d
007 cr nn 008maaau
008 240327s2023 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
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 383239
650 0 $a Data encryption (Computer science) $3 184520
650 1 4 $a Cryptology. $3 825728
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Mobile and Network Security. $3 825732
650 2 4 $a Computer and Information Systems Applications. $3 913125
700 1 $a Zhang, Mingwu. $3 799151
700 1 $a Au, Man Ho. $3 701657
700 1 $a Zhang, Yudi. $3 962314
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-45513-1
950 $a Computer Science (SpringerNature-11645)