000 04482nam a22006135i 4500
001 978-3-030-31919-9
003 DE-He213
005 20240730164507.0
007 cr nn 008mamaa
008 190924s2019 sz | s |||| 0|eng d
020 _a9783030319199
_9978-3-030-31919-9
024 7 _a10.1007/978-3-030-31919-9
_2doi
050 4 _aQA268
072 7 _aGPJ
_2bicssc
072 7 _aURY
_2bicssc
072 7 _aCOM083000
_2bisacsh
072 7 _aGPJ
_2thema
072 7 _aURY
_2thema
082 0 4 _a005.824
_223
245 1 0 _aProvable Security
_h[electronic resource] :
_b13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings /
_cedited by Ron Steinfeld, Tsz Hon Yuen.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXI, 382 p. 131 illus., 9 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSecurity and Cryptology,
_x2946-1863 ;
_v11821
505 0 _aLattice-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.
520 _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.".
650 0 _aCryptography.
_91973
650 0 _aData encryption (Computer science).
_99168
650 0 _aComputers.
_98172
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 1 4 _aCryptology.
_931769
650 2 4 _aComputing Milieux.
_955441
650 2 4 _aComputer Communication Networks.
_984800
650 2 4 _aSoftware Engineering.
_94138
700 1 _aSteinfeld, Ron.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_984801
700 1 _aYuen, Tsz Hon.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_984803
710 2 _aSpringerLink (Online service)
_984806
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030319182
776 0 8 _iPrinted edition:
_z9783030319205
830 0 _aSecurity and Cryptology,
_x2946-1863 ;
_v11821
_984807
856 4 0 _uhttps://doi.org/10.1007/978-3-030-31919-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c85725
_d85725