Marco Guarnieri

Registered user since Sun 24 Nov 2019

Name:Marco Guarnieri

I am an assistant professor at the IMDEA Software Institute. Before that, I completed my Ph.D. at the Institute of Information Security at ETH Zurich. My research focuses on the design, analysis, and implementation of practical systems for securely storing and processing sensitive data. I apply my research to the analysis of micro-architectural side-channel attacks (and countermeasures) and to database security.

Affiliation:IMDEA Software Institute
Research interests:Security and Privacy, Program verification, Programming languages


PriSC 2022 Committee Member in Steering Committee within the PriSC 2022-track
Co-chair in Program Committee within the PriSC 2022-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
PriSC 2020 Author of Exorcising Spectres with Secure Compilers within the Principles of Secure Compilation 2020-track
PLDI 2020 Author of CacheQuery: Learning Replacement Policies from Hardware Caches within the PLDI Research Papers-track