Limit search to available items
Book Cover
E-book
Author ProvSec (Conference) (13th : 2019 : Cairns, Qld.)

Title Provable security : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings / Ron Steinfeld, Tsz Hon Yuen (eds.)
Published Cham : Springer, 2019

Copies

Description 1 online resource (xi, 382 pages) : illustrations (some color)
Series Lecture notes in computer science ; 11821
LNCS sublibrary. SL 4, Security and cryptology
Lecture notes in computer science ; 11821.
LNCS sublibrary. SL 4, Security and cryptology.
Contents 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
Summary 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."
Notes International conference proceedings
Includes author index
Subject Computer security -- Congresses
Data encryption (Computer science) -- Congresses
Data protection -- Congresses
Information technology: general issues.
Computer networking & communications.
Software Engineering.
Coding theory & cryptology.
Computers -- Social Aspects -- Human-Computer Interaction.
Computers -- Online Services -- General.
Computers -- Software Development & Engineering -- General.
Computers -- Security -- General.
Computer security
Data encryption (Computer science)
Data protection
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Steinfeld, Ron.
Yuen, Tsz Hon.
ISBN 9783030319199
3030319199
3030319180
9783030319182
9783030319205
3030319202
Other Titles ProvSec 2019