國立高雄大學圖資館 |

Language: English

Back

Provable and practical security16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Provable and practical securityedited by Chunpeng Ge, Fuchun Guo.
Reminder of title:	16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /
remainder title:	ProvSec 2022
other author:	Ge, Chunpeng.
corporate name:
Published:	Cham :Springer Nature Switzerland :2022.
Description:	ix, 291 p. :ill. (some color), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer securityCongresses.
Online resource:	https://doi.org/10.1007/978-3-031-20917-8
ISBN:	9783031209178$q(electronic bk.)

Provable and practical security16th 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] :ProvSec 2022edited by Chunpeng Ge, Fuchun Guo. - Cham :Springer Nature Switzerland :2022. - ix, 291 p. :ill. (some color), digital ;24 cm. - Lecture notes in computer science,136000302-9743 ;. - Lecture notes in computer science ;4891..

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

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

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.82

Provable and practical security16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /
LDR:03226nmm a2200373 a 4500 001 633225
003 DE-He213
005 20221108005324.0
006 m d
007 cr nn 008maaau
008 230511s2022 sz s 0 eng d
020 $a 9783031209178$q(electronic bk.)
020 $a 9783031209161$q(paper)
024 7 $a 10.1007/978-3-031-20917-8 $2 doi
035 $a 978-3-031-20917-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25
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 2022
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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.
246 3 $a ProvSec 2022
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2022.
300 $a ix, 291 p. : $b ill. (some color), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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 Computer security $v Congresses. $3 383239
650 0 $a Data encryption (Computer science) $3 184520
700 1 $a Ge, Chunpeng. $3 938985
700 1 $a Guo, Fuchun. $3 818743
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-20917-8
950 $a Computer Science (SpringerNature-11645)