Willkommen, schön sind Sie da!
Logo Ex Libris

Provable Security

  • E-Book (pdf)
  • 382 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in C... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 78.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich


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 de nitions 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 Certi cateless 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 Certi cateless 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-Veri ably-Checkable Encryption.- Improved Cryptanalysis of the KMOV Elliptic Curve Cryptosystem.- Hierarchical Functional Signcryption: Notion and Construction.- FSPVDsse: A Forward Secure Publicly Veri able 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.


Titel: Provable Security
Untertitel: 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings
EAN: 9783030319199
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Anzahl Seiten: 382
Veröffentlichung: 26.09.2019
Dateigrösse: 9.4 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"