Marco Guarnieri
Scholar

Marco Guarnieri

Google Scholar ID: gP-5CSsAAAAJ
Associate Research Professor, IMDEA Software Institute
Computer SecurityVerificationProgramming languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
808
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
54
list available
Contact
No contact links provided.
Publications
5 items
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
Resume (English only)
Co-authors
54 total
Boris Köpf
Boris Köpf
Azure Research, Microsoft
Jan Reineke
Jan Reineke
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Co-author 3
Co-author 3
Marco Patrignani
Marco Patrignani
Assistant Professor at University of Trento
David Basin
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8