Registered user since Sun 24 Nov 2019
Name: Marco Guarnieri
Bio: 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, Spain
Personal website: https://mguarnieri.github.io
Research interests: Security and Privacy, Program verification, Programming languages
|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|