Scholar
Marco Guarnieri
Google Scholar ID: gP-5CSsAAAAJ
Associate Research Professor, IMDEA Software Institute
Computer Security
Verification
Programming languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
808
H-index
13
i10-index
16
Publications
20
Co-authors
54
list available
Publications
7 items
Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
2026
Cited
0
Alignment Contracts for Agentic Security Systems
2026
Cited
0
Detecting speculative leaks with compositional semantics
2026
Cited
0
CacheSolidarity: Preventing Prefix Caching Side Channels in Multi-tenant LLM Serving Systems
2026
Cited
0
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
2025
Cited
0
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
2025
Cited
0
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
arXiv.org · 2024
Cited
0
Co-authors
11 total
Boris Köpf
Azure Research, Microsoft
Jan Reineke
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Marco Patrignani
Assistant Professor at University of Trento
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Jose F. Morales
Assistant Professor at UPM / IMDEA Software Institute
Stefano Paraboschi
Professor of Computer Science and Engineering, Università degli Studi di Bergamo, Italy
Angelo Gargantini
University of Bergamo
Oleksii Oleksenko
Senior Researcher, Azure Research
