Provable Security

13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

Ron Steinfeld, Tsz Hon Yuen (Herausgeber)

Buch | Softcover

XI, 382 Seiten

2019 | 1st ed. 2019
Springer International Publishing (Verlag)
978-3-030-31918-2 (ISBN)

Artikel merken

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

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 E cient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/O ine Certificateless Aggregate Signature.- Secure Online/O ine 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-E cient 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-E cient Edge Intelligence Model Training.

Erscheinungsdatum	26.09.2019
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Security and Cryptology
Zusatzinfo	XI, 382 p. 131 illus., 9 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	605 g
Themenwelt	Informatik ► Theorie / Studium ► Kryptologie
Schlagworte	Access Control • Applications • authentication • Computer Science • conference proceedings • cryptography • data privacy • Encryption • formal security models • Informatics • privacy preserving • provable security • Public Key Cryptography • Research • Software engineering
ISBN-10	3-030-31918-0 / 3030319180
ISBN-13	978-3-030-31918-2 / 9783030319182
Zustand	Neuware