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

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 provab...

Full description

Bibliographic Details
Other Authors: Ge, Chunpeng (Editor), Guo, Fuchun (Editor)
Format: eBook
Language:English
Published: Cham Springer Nature Switzerland 2022, 2022
Edition:1st ed. 2022
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 03384nmm a2200373 u 4500
001 EB002134543
003 EBX01000000000000001272600
005 00000000000000.0
007 cr|||||||||||||||||||||
008 221201 ||| eng
020 |a 9783031209178 
100 1 |a Ge, Chunpeng  |e [editor] 
245 0 0 |a Provable and Practical Security  |h Elektronische Ressource  |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 
260 |a Cham  |b Springer Nature Switzerland  |c 2022, 2022 
300 |a IX, 291 p. 54 illus., 29 illus. in color  |b online resource 
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 
653 |a Computer Communication Networks 
653 |a Mobile and Network Security 
653 |a Computer networks / Security measures 
653 |a Cryptography 
653 |a Application software 
653 |a Computer networks  
653 |a Data encryption (Computer science) 
653 |a Cryptology 
653 |a Computer and Information Systems Applications 
700 1 |a Guo, Fuchun  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/978-3-031-20917-8 
856 4 0 |u https://doi.org/10.1007/978-3-031-20917-8?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 5,824 
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