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

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