LEADER 04743nam 22007095 450 001 9910983054403321 005 20250626164549.0 010 $a9789819609574 010 $a9819609577 024 7 $a10.1007/978-981-96-0957-4 035 $a(CKB)37407212900041 035 $a(DE-He213)978-981-96-0957-4 035 $a(MiAaPQ)EBC31896993 035 $a(Au-PeEL)EBL31896993 035 $a(OCoLC)1496394576 035 $a(EXLCZ)9937407212900041 100 $a20250131d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProvable and Practical Security $e18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25?27, 2024, Proceedings, Part II /$fedited by Joseph K. Liu, Liqun Chen, Shi-Feng Sun, Xiaoning Liu 205 $a1st ed. 2025. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025. 215 $a1 online resource (XVI, 312 p. 47 illus., 22 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14904 311 08$a9789819609567 311 08$a9819609569 327 $a -- Tight Security. -- Efficient Variants of TNT with BBB Security. -- ROM Reduction Failures: Reasons and Solutions. -- Quantum-Safe Cryptography. -- BDEC: Enhancing Learning Credibility via Post-Quantum Digital Credentials. -- Semi-Compressed CRYSTALS-Kyber. -- Blocklistable Anonymous Credential for Circuits with Post-Quantum Security. -- Distributed System and Blockchain Security. -- Asynchronous Byzantine Fault Tolerance Reliable Broadcast Based on Directed Acyclic Graph. -- PDTS: Practical Data Trading Scheme in Distributed Environments. -- Communication-Efficient Secure Neural Network via Key-Reduced Distributed Comparison Function. -- Enabling Efficient Cross-Shard Smart Contract Calling via Overlapping. -- Key Exchange and Privacy. -- Subversion-Resilient Authenticated Key Exchange with Reverse Firewalls. -- On Sealed-bid Combinatorial Auction with Privacy-Preserving Dynamic Programming. -- Short Papers. -- SePEnTra: A secure and privacy-preserving energy trading mechanism in the transactive energy market. -- On Multi-user Security of Lattice-based Signature under Adaptive Corruptions and Key Leakages. -- Reusable Fuzzy Extractor from Isogeny. -- Ensuring Fair Data Trading via Passive Proxy Re-encryption with Smart Contracts. -- DPAC: A New Data-centric Privacy-preserving Access Control Model. -- Improving the Accuracy of Transaction-Based Ponzi Detection on Ethereum. -- A2V: Anonymous and Accountable Voting Framework via Blockchain. -- Quantum Safe Computation-friendly Identity-binding Password Authenticated Key Exchange. 330 $aThis book constitutes the proceedings of the 18th International Conference on Provable and Practical Security, ProvSec 2024, which took place in Gold Coast, QLD, Australia, during September 25-27, 2024. The 26 full papers and 8 short papers presented were thoroughly reviewed and selected from the 79 submissions. The papers are organized in the following topical sections: Part I: Multi-Party Computation; Searchable Encryption; Encryption and Signature. Part II : Tight Security; Quantum-Safe Cryptography; Distributed System and Blockchain Security; and Key Exchange and Privacy. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14904 606 $aCryptography 606 $aData encryption (Computer science) 606 $aComputer networks 606 $aComputer networks$xSecurity measures 606 $aApplication software 606 $aCryptology 606 $aComputer Communication Networks 606 $aMobile and Network Security 606 $aComputer and Information Systems Applications 615 0$aCryptography. 615 0$aData encryption (Computer science) 615 0$aComputer networks. 615 0$aComputer networks$xSecurity measures. 615 0$aApplication software. 615 14$aCryptology. 615 24$aComputer Communication Networks. 615 24$aMobile and Network Security. 615 24$aComputer and Information Systems Applications. 676 $a005.824 702 $aLiu$b Joseph K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aChen$b Liqun$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSun$b Shi-Feng$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Xiaoning$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983054403321 996 $aProvable and practical security$92113467 997 $aUNINA