Provable and Practical Security

18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part II
Erscheinungsjahr 2025
ISBN: 978-981-960956-7
Verlag: Springer Nature Singapore

Buch, Englisch, Band 14904, 312 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 499 g

Reihe: Lecture Notes in Computer Science

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

Zielgruppe

Research

Autoren/Hrsg.

Liu, Joseph K.

Liu, Xiaoning

Chen, Liqun

Sun, Shi-Feng

Fachgebiete

• Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Kryptographie, Datenverschlüsselung
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Netzwerksicherheit
• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
• Mathematik | Informatik EDV | Informatik Angewandte Informatik

Inhaltsverzeichnis

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