Description

Book Synopsis

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

Computer Security ESORICS 2025

    Product form

    £64.99

    Includes FREE delivery

    Order before 4pm today for delivery by Sat 1 Aug 2026.

    A Paperback by Vincent Nicomette

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Computer Security ESORICS 2025 by Vincent Nicomette

      Publisher: Springer
      Publication Date: Publication Date: 16/11/2025
      ISBN13: 9783032078902, 978-3032078902
      ISBN10:
      Also in:
      Coding theory and cryptology

      Description

      Book Synopsis

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

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account