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

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

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: SpringerLink (Online service)
Tác giả khác: Liu, Joseph K. (Biên tập viên), Chen, Liqun (Biên tập viên), Sun, Shi-Feng (Biên tập viên), Liu, Xiaoning (Biên tập viên)
Định dạng: Điện tử eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Phiên bản:1st ed. 2025.
Loạt:Lecture Notes in Computer Science, 14904
Những chủ đề:
Truy cập trực tuyến:https://doi.org/10.1007/978-981-96-0957-4
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Mục lục:
  • -- 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.