Provable and Practical Security : 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part II

著者名：Liu, Joseph K. (EDT)/Chen, Liqun (EDT)/Sun, Shi-Feng (EDT)/Liu, Xiaoning (EDT)

Springer（2025/01/30発売）

• 言語：ENG
• ISBN：9789819609567
• eISBN：9789819609574

Description

This 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

Table of Contents

.- 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.