معرفی
Marco Guarnieri is an Associate Professor at the IMDEA Software Institute in Spain, where he leads research at the intersection of security, programming languages, and computer architecture. Prior to his current position, he completed his Ph.D. in Computer Science at the Institute of Information Security at ETH Zurich in 2017.
His educational background includes:
- PhD in Computer Science, 2017, ETH Zurich
- MSc in Computer Engineering, 2012, Università degli Studi di Bergamo
- BSc in Computer Engineering, 2010, Università degli Studi di Bergamo
Dr. Guarnieri's research spans multiple security domains with particular focus on:
- Security at the hardware-software boundary
- Microarchitectural side-channel attacks and countermeasures
- Database security and access control
- Formal methods for security verification
- Secure compilation and information flow control
His publication record shows consistent contributions to microarchitectural security, especially regarding speculative execution vulnerabilities and hardware-software leakage contracts, combining theoretical foundations with practical implementations that have advanced secure systems design.
Dr. Guarnieri has received significant recognition for his research:
- Distinguished paper award at CCS 2024
- Distinguished paper award at CCS 2023
- Distinguished paper award at CCS 2022
- Best paper award at S&P 2021
He actively contributes to the research community through conference organization and program committees for PLDI, POPL, and other top venues. Dr. Guarnieri maintains an active research group at IMDEA Software Institute and is currently seeking talented researchers to work on security at the hardware-software interface.
