Cover Image

Detecting speculative leaks with compositional semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fabian, Xaver, Guarnieri, Marco, Köpf, Boris, Morales, Jose F., Patrignani, Marco, Reineke, Jan, Sanchez, Andres
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
by: Mohr, Gideon, et al.
Published: (2024)

Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
by: Wang, Zilong, et al.
Published: (2025)

Alignment Contracts for Agentic Security Systems
by: David, Isaac, et al.
Published: (2026)

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

Secure Composition of Robust and Optimising Compilers
by: Kruse, Matthis, et al.
Published: (2023)

CacheSquash: Making caches speculation-aware
by: ElAtali, Hossam, et al.
Published: (2024)

Detecting speculative data flow vulnerabilities using weakest precondition reasoning
by: Smith, Graeme
Published: (2025)

Keep your memory dump shut: Unveiling data leaks in password managers
by: Chatzoglou, Efstratios, et al.
Published: (2024)

Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts
by: Geier, Gideon, et al.
Published: (2025)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
by: Fabian, Xaver, et al.
Published: (2024)

Excuse me, sir? Your language model is leaking (information)
by: Zamir, Or
Published: (2024)

Ultralow-power standoff acoustic leak detection
by: Hasselbeck, Michael P.
Published: (2025)

Testing side-channel security of cryptographic implementations against future microarchitectures
by: Barthe, Gilles, et al.
Published: (2024)

Consumer INS Coupled with Carrier Phase Measurements for GNSS Spoofing Detection
by: Johansson, Tore, et al.
Published: (2025)

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
by: Oleksenko, Oleksii, et al.
Published: (2025)

Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
by: Gianini, Gabriele, et al.
Published: (2026)

Synopsis: Secure and private trend inference from encrypted semantic embeddings
by: Xiao, Madelyne, et al.
Published: (2025)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
by: Michael, Alexandra E., et al.
Published: (2022)

Protocol Agent: What If Agents Could Use Cryptography In Everyday Life?
by: De Rossi, Marco
Published: (2026)

PrefixWall: Mitigating Prefix Caching Side Channels in Shared LLM Systems
by: Pennas, Panagiotis Georgios, et al.
Published: (2026)

Amatriciana: Exploiting Temporal GNNs for Robust and Efficient Money Laundering Detection
by: Di Gennaro, Marco, et al.
Published: (2025)

CTRAPS: CTAP Client Impersonation and API Confusion on FIDO2
by: Casagrande, Marco, et al.
Published: (2024)

Time-based GNSS attack detection
by: Spanghero, Marco, et al.
Published: (2025)

Simple client-side encryption of personal information with Web Assembly
by: Falda, Marco, et al.
Published: (2023)

POSTER: Testing network-based RTK for GNSS receiver security
by: Spanghero, Marco, et al.
Published: (2024)

DEMO: RTKiller -- manipulation of GNSS RTK rovers by reference base spoofing
by: Spanghero, Marco, et al.
Published: (2024)

Explainable Malware Detection with Tailored Logic Explained Networks
by: Anthony, Peter, et al.
Published: (2024)

On Digital Twins in Defence: Overview and Applications
by: Giberna, Marco, et al.
Published: (2025)

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
by: Fu, Bo, et al.
Published: (2025)

Enhancing Trustworthiness in ML-Based Network Intrusion Detection with Uncertainty Quantification
by: Talpini, Jacopo, et al.
Published: (2023)

Using Graph Theory for Improving Machine Learning-based Detection of Cyber Attacks
by: Zonneveld, Giacomo, et al.
Published: (2024)

A Multi-Interface Firmware Acquisition and Validation Methodology for Low-Cost Consumer Drones: A Case Study on Three Holy Stone Platforms
by: More, Sandesh, et al.
Published: (2026)

When Forgetting Triggers Backdoors: A Clean Unlearning Attack
by: Arazzi, Marco, et al.
Published: (2025)

Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities
by: Esposito, Andrea, et al.
Published: (2025)

A Proactive Decoy Selection Scheme for Cyber Deception using MITRE ATT&CK
by: Zambianco, Marco, et al.
Published: (2024)

A new multivariate primitive from CCZ equivalence
by: Calderini, Marco, et al.
Published: (2024)

Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
by: Fink, Xaver, et al.
Published: (2026)

Closed-Form Bounds for DP-SGD against Record-level Inference
by: Cherubin, Giovanni, et al.
Published: (2024)

PQC standards alternatives -- reliable semantically secure key encapsulation mechanism and digital signature protocols using the rank-deficient matrix power function
by: Hecht, Juan Pedro, et al.
Published: (2026)

Laccolith: Hypervisor-Based Adversary Emulation with Anti-Detection
by: Orbinato, Vittorio, et al.
Published: (2023)