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.

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

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com