{"product_id":"nicomette-vincent-computer-security-esorics-2025-9783032078902","title":"Computer Security - ESORICS 2025","description":".- 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.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53770384736598,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/nicomette-vincent-computer-security-esorics-2025-9783032078902","provider":"momoxbooks","version":"1.0","type":"link"}