معرفی
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.
