Provable and Practical Security: 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 2527, 2024, Proceedings, Part II [Paperback]

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

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