國立虎尾科技大學 |

Provable and Practical Security = 16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Provable and Practical Security/ edited by Chunpeng Ge, Fuchun Guo.
Reminder of title:	16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings /
other author:	Ge, Chunpeng.
Description:	IX, 291 p. 54 illus., 29 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Cryptography. -
Online resource:	https://doi.org/10.1007/978-3-031-20917-8
ISBN:	9783031209178

Provable and Practical Security = 16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings /
Provable and Practical Security16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings /[electronic resource] :edited by Chunpeng Ge, Fuchun Guo. - 1st ed. 2022. - IX, 291 p. 54 illus., 29 illus. in color.online resource. - Lecture Notes in Computer Science,136001611-3349 ;. - Lecture Notes in Computer Science,9324.

Encryption -- A Generic Construction of CCA-secure Attribute-based Encryption with Equality Test -- Secure-Channel Free Certificateless Searchable Public key Authenticated Encryption with Keyword Search -- More Efficient Verifiable Functional Encryption -- Subverting Deniability -- Epoch Confidentiality in Updatable Encryption -- Lattice Based Cryptography -- Simplified Server-Aided Revocable Identity-Based Encryption from Lattices -- Lattice-based Public Key Cryptosystems invoking Linear Mapping Mask -- Batched Fully Dynamic Multi-key FHE from FHEW-like Cryptosystems -- Zero-knowledge Range Arguments for Signed Fractional Numbers from Lattices -- Information Security -- Fast Out-of-band Data Integrity Monitor to Mitigate Memory Corruption Attacks -- Construction of a New UAV Management System based on UMIA Technology -- FP2-MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning -- Practical Federated Learning for Samples with Different IDs -- Blockchain -- Reinforcement-Mining: Protecting Reward in Selfish Mining -- FolketID: A Decentralized Blockchain-based NemID Alternative against DDosS Attacks -- Secure Collaboration between Consortiums in Permissioned Blockchains -- Foundations -- (Public) Verifiability For Composable Protocols Without Adaptivity Or Zero-Knowledge -- Practical Non-Malleable Codes from Symmetric-key Primitives in 2-Split-State Model -- Cryptographic Role-Based Access Control, Reconsidered.

This book constitutes the refereed proceedings of the 16th International Conference on Provable Security, ProvSec 2022, held in Nanjing, China, in November 11–12,2022. The 15 full papers and 4 short papers were presented carefully reviewed and selected from 52 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following topical sections: Encryption; Lattice Based Cryptography; Information Security; Blockchain; and Foundations.

ISBN: 9783031209178

Standard No.: 10.1007/978-3-031-20917-8doiSubjects--Topical Terms:

567927
Cryptography.

LC Class. No.: QA268

Dewey Class. No.: 005.824

Provable and Practical Security = 16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings /
LDR:03532nam a22004335i 4500 001 1085232
003 DE-He213
005 20221108005324.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031209178 $9 978-3-031-20917-8
024 7 $a 10.1007/978-3-031-20917-8 $2 doi
035 $a 978-3-031-20917-8
050 4 $a QA268
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.824 $2 23
245 1 0 $a Provable and Practical Security $h [electronic resource] : $b 16th International Conference, ProvSec 2022, Nanjing, China, November 11–12, 2022, Proceedings / $c edited by Chunpeng Ge, Fuchun Guo.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2022.
300 $a IX, 291 p. 54 illus., 29 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13600
505 0 $a Encryption -- A Generic Construction of CCA-secure Attribute-based Encryption with Equality Test -- Secure-Channel Free Certificateless Searchable Public key Authenticated Encryption with Keyword Search -- More Efficient Verifiable Functional Encryption -- Subverting Deniability -- Epoch Confidentiality in Updatable Encryption -- Lattice Based Cryptography -- Simplified Server-Aided Revocable Identity-Based Encryption from Lattices -- Lattice-based Public Key Cryptosystems invoking Linear Mapping Mask -- Batched Fully Dynamic Multi-key FHE from FHEW-like Cryptosystems -- Zero-knowledge Range Arguments for Signed Fractional Numbers from Lattices -- Information Security -- Fast Out-of-band Data Integrity Monitor to Mitigate Memory Corruption Attacks -- Construction of a New UAV Management System based on UMIA Technology -- FP2-MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning -- Practical Federated Learning for Samples with Different IDs -- Blockchain -- Reinforcement-Mining: Protecting Reward in Selfish Mining -- FolketID: A Decentralized Blockchain-based NemID Alternative against DDosS Attacks -- Secure Collaboration between Consortiums in Permissioned Blockchains -- Foundations -- (Public) Verifiability For Composable Protocols Without Adaptivity Or Zero-Knowledge -- Practical Non-Malleable Codes from Symmetric-key Primitives in 2-Split-State Model -- Cryptographic Role-Based Access Control, Reconsidered.
520 $a This book constitutes the refereed proceedings of the 16th International Conference on Provable Security, ProvSec 2022, held in Nanjing, China, in November 11–12,2022. The 15 full papers and 4 short papers were presented carefully reviewed and selected from 52 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following topical sections: Encryption; Lattice Based Cryptography; Information Security; Blockchain; and Foundations.
650 0 $a Cryptography. $3 567927
650 0 $a Data encryption (Computer science). $3 1051084
650 0 $a Computer networks . $3 1365720
650 0 $a Computer networks—Security measures. $3 1366173
650 0 $a Application software. $3 528147
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 Ge, Chunpeng. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1391659
700 1 $a Guo, Fuchun. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1205923
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031209161
776 0 8 $i Printed edition: $z 9783031209185
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-20917-8
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)