|
|
|
|
LEADER |
03534nmm a2200373 u 4500 |
001 |
EB001874342 |
003 |
EBX01000000000000001037710 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
191022 ||| eng |
020 |
|
|
|a 9783030319199
|
100 |
1 |
|
|a Steinfeld, Ron
|e [editor]
|
245 |
0 |
0 |
|a Provable Security
|h Elektronische Ressource
|b 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
|c edited by Ron Steinfeld, Tsz Hon Yuen
|
250 |
|
|
|a 1st ed. 2019
|
260 |
|
|
|a Cham
|b Springer International Publishing
|c 2019, 2019
|
300 |
|
|
|a XI, 382 p. 131 illus., 9 illus. in color
|b online resource
|
505 |
0 |
|
|a Lattice-based IBE with equality test in standard model -- A critique of game-based definitions of receipt-freeness for voting -- One-Round Authenticated Group Key Exchange from Isogenies -- History-Free Sequential Aggregate MAC Revisited -- An Efficient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/Offline Certificateless Aggregate Signature -- Secure Online/Offline Attribute-based Encryption for IOT Users in Cloud Computing -- Identity-Concealed Authenticated Encryption from Ring Learning With Errors -- Towards Enhanced Security for Certificateless Public-key Authenticated Encryption with Keyword Search -- TumbleBit++: A Comprehensive Privacy Protocol Providing Anonymity and Amount-invisibility -- A Lattice-Based Anonymous Distributed E-Cash from Bitcoin -- Plaintext-Verifiably-Checkable Encryption -- Improved Cryptanalysis of the KMOV Elliptic Curve Cryptosystem -- Hierarchical Functional Signcryption: Notion and Construction -- FSPVDsse: A Forward Secure Publicly Verifiable Dynamic SSE scheme -- A Hidden Markov Model-Based Method for Virtual Machine Anomaly Detection -- Password-based Authenticated Key Exchange from Standard Isogeny Assumptions -- A centralized digital currency system with rich functions -- A Practical Lattice-Based Sequential Aggregate Signature -- Provably Secure Proactive Secret Sharing Without the Adjacent Assumption -- Space-Efficient and Secure Substring Searchable Symmetric Encryption Using an Improved DAWG -- A Coin-Free Oracle-Based Augmented Black Box Framework -- Chameleon Hash Time-Lock Contract for Privacy Preserving Payment Channel Networks -- Solving ECDLP via List Decoding -- On-demand Privacy Preservation for Cost-Efficient Edge Intelligence Model Training
|
653 |
|
|
|a Computer Communication Networks
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Cryptography
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Computers
|
653 |
|
|
|a Computer networks
|
653 |
|
|
|a Data encryption (Computer science)
|
653 |
|
|
|a Cryptology
|
653 |
|
|
|a Computing Milieux
|
700 |
1 |
|
|a Yuen, Tsz Hon
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Security and Cryptology
|
028 |
5 |
0 |
|a 10.1007/978-3-030-31919-9
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-31919-9?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.824
|
520 |
|
|
|a This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019. The 18 full and 6 short papers presented were carefully reviewed and selected from 51 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives, including a special theme on “Practical Security.”
|