Computer Security - ESORICS 2025, Kartoniert / Broschiert

Klappentext

.- A Certified-Input Mixnet from Two-Party Mercurial Signatures on Randomizable Ciphertexts. .- Tetris! Traceable Extendable Threshold Ring Signatures and More. .- Efficient One-Pass Private Set Intersection from Pairings with Offline Preprocessing. .- Practical Robust Dynamic Searchable Symmetric Encryption Supporting Conjunctive Queries. .- Security Analysis of Covercrypt: A Quantum-Safe Hybrid Key Encapsulation Mechanism for Hidden Access Policies. .- Anamorphic Monero Transactions: the Threat of Bypassing Anti-Money Laundering Laws. .- Hyperion: Transparent End-to-End Verifiable Voting with Coercion Mitigation. .- Two-Factor Authenticated Key Exchange with Enhanced Security from Post-Quantum Assumptions. .- Concretely Efficient Parallel-accessible DORAM for 100K-sized Array. .- A Symbolic Analysis of Hash Functions Vulnerabilities in Maude-NPA. .- A post-quantum Distributed OPRF from the Legendre PRF. .- TERRA: Trojan-Resilient Reverse-Firewall for Cryptographic Applications. .- Reaction Attack on TFHE: Minimum Number of Oracle Queries and Nearly Optimum Attacking Scheme. .- Predicate-Private Asymmetric Searchable Encryption for Conjunctions from Lattices. .- DEBridge: Towards Secure and Practical Plausibly Deniable Encryption Based on USB Bridge Controller. .- Formalisation of KZG commitment schemes in EasyCrypt. .- UTRA: Universal Token Reusability Attack and Token Unforgeable Delegatable Order-Revealing Encryption. .- Enhanced Key Mismatch Attacks on Lattice-Based KEMs: Multi-bit Inference and Ciphertext Generalization. .- Code Encryption with Intel TME-MK for Control-Flow Enforcement. .- Optimized Privacy-Preserving Multi-Signatures from Discrete Logarithm Assumption. .- Polylogarithmic Polynomial Commitment Scheme over Galois Rings. .- Efficient Homomorphic Evaluation for Non-Polynomial Functions. .- Athena: Accelerating KeySwitch and Bootstrapping for Fully Homomorphic Encryption on CUDA GPU. .- Formally-verified Security against Forgery of Remote Attestation using SSProve. .- SafePath: Encryption-less On-demand Input Path Protection for Mobile Devices. .- Extending Groth16 for Disjunctive Statements.