Provable and Practical Security

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