LEADER 04649nam 22006135 450 001 9910349277103321 005 20200706071417.0 010 $a3-030-31919-9 024 7 $a10.1007/978-3-030-31919-9 035 $a(CKB)4100000009382620 035 $a(DE-He213)978-3-030-31919-9 035 $a(MiAaPQ)EBC5923130 035 $a(PPN)254987311 035 $a(EXLCZ)994100000009382620 100 $a20190924d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProvable Security $e13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1?4, 2019, Proceedings /$fedited by Ron Steinfeld, Tsz Hon Yuen 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 382 p. 131 illus., 9 illus. in color.) 225 1 $aSecurity and Cryptology ;$v11821 311 $a3-030-31918-0 320 $aIncludes bibliographical references and index. 327 $aLattice-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. 330 $aThis 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.?. 410 0$aSecurity and Cryptology ;$v11821 606 $aData encryption (Computer science) 606 $aComputers 606 $aSoftware engineering 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aComputing Milieux$3https://scigraph.springernature.com/ontologies/product-market-codes/I24008 606 $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 615 0$aData encryption (Computer science). 615 0$aComputers. 615 0$aSoftware engineering. 615 14$aCryptology. 615 24$aComputing Milieux. 615 24$aInformation Systems and Communication Service. 615 24$aSoftware Engineering/Programming and Operating Systems. 676 $a005.8 702 $aSteinfeld$b Ron$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYuen$b Tsz Hon$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349277103321 996 $aProvable Security$9772128 997 $aUNINA