Provable and practical security : 16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022, Proceedings / Chunpeng Ge, Fuchun Guo (eds.)
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | ProvSec 2022. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2022.
|
| Series: | Lecture notes in computer science ;
13600. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b12834295 | ||
| 003 | CoU | ||
| 005 | 20221209062116.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 221108s2022 sz a o 101 0 eng d | ||
| 019 | |a 1350439381 |a 1350451925 | ||
| 020 | |a 9783031209178 |q (electronic bk.) | ||
| 020 | |a 3031209176 |q (electronic bk.) | ||
| 020 | |z 9783031209161 |q (print) | ||
| 020 | |z 3031209168 | ||
| 024 | 7 | |a 10.1007/978-3-031-20917-8 | |
| 035 | |a (OCoLC)spr1350488534 | ||
| 035 | |a (OCoLC)1350488534 |z (OCoLC)1350439381 |z (OCoLC)1350451925 | ||
| 037 | |a spr978-3-031-20917-8 | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDX |d EBLCP |d OCLCF | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.A25 | |
| 111 | 2 | |a ProvSec (Conference) |n (16th : |d 2022 : |c Nanjing Shi, China) | |
| 245 | 1 | 0 | |a Provable and practical security : |b 16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022, Proceedings / |c Chunpeng Ge, Fuchun Guo (eds.) |
| 246 | 3 | |a ProvSec 2022. | |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c 2022. | |
| 300 | |a 1 online resource (x, 291 pages) : |b illustrations (some color) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 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. | |
| 500 | |a Includes author index. | ||
| 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. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed November 8, 2022) | |
| 650 | 0 | |a Computer security |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101458. | |
| 650 | 0 | |a Data encryption (Computer science) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008102033. | |
| 650 | 7 | |a Computer security. |2 fast |0 (OCoLC)fst00872484. | |
| 650 | 7 | |a Data encryption (Computer science) |2 fast |0 (OCoLC)fst00887935. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Ge, Chunpeng, |e editor. | |
| 700 | 1 | |a Guo, Fuchun |c (Computer scientist), |e editor. |0 http://id.loc.gov/authorities/names/nb2019006818 |1 https://orcid.org/0000-0001-6939-7710. | |
| 776 | 0 | 8 | |c Original |z 3031209168 |z 9783031209161 |w (OCoLC)1347218123. |
| 830 | 0 | |a Lecture notes in computer science ; |v 13600. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-20917-8 |z Full Text (via Springer) |
| 907 | |a .b12834295x |b 01-06-23 |c 12-13-22 | ||
| 998 | |a web |b 12-31-22 |c b |d b |e - |f eng |g sz |h 0 |i 1 | ||
| 907 | |a .b12834295x |b 01-02-23 |c 12-13-22 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 915 | |a - | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Computer Science eBooks 2022 English+International | ||
| 999 | f | f | |i aad5f6c2-9019-51a9-85b7-20f48947deed |s bb996d50-8c01-5b29-a723-fa38d7dbf7b0 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.A25 |h Library of Congress classification |i Ebooks, Prospector |n 1 |