Marco GuarnieriView profile
Research Professor
Marco Guarnieri is an Associate Research Professor at the IMDEA Software Institute in Spain. He holds a PhD in Computer Science from ETH Zurich (2017), an MSc in Computer Engineering from the Università degli Studi di Bergamo (2012), and a BSc in Computer Engineering from the same institution (2010). His research focuses on secure hardware-software co-design, microarchitectural side-channel attacks, and formal methods for verifying security guarantees. Education : PhD in Computer Science, ETH Zurich (2017) MSc in Computer Engineering, Università degli Studi di Bergamo (2012) BSc in Computer Engineering, Università degli Studi di Bergamo (2010) Research Interests : Security, privacy, programming languages, formal methods, and microarchitectural security. His work emphasizes practical systems for securing sensitive data storage and processing, with recent focus on leakage contracts for open-source processors and automated testing of secure speculation countermeasures. Awards : Best Paper Award at CCS 2024 for work on leakage contracts for RISC-V processors Distinguished Paper Award at CCS 2023 for Spectre attack detection Best Paper Award at S&P 2021 for hardware-software contracts for secure speculation Grants & Advising : He leads a research group at IMDEA, actively mentoring PhD students and postdocs in hardware-software security. His projects include AMuLeT (automated testing of secure speculation) and LeaVe (verifying leakage contracts). Labs/Teams : IMDEA Software Institute’s security research group, focusing on cross-layer hardware-software security solutions.







