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. Recently, I have been working on building foundations and tools for reasoning about security at the hardware-software boundary, with a specific focus on microarchitectural attacks and defenses.

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


PLMW@PLDI 2023 Welcome
Session Chair of PLMW: Session 3 (part of PLMW@PLDI 2023)
Committee Member in Organizing Committee within the PLMW@PLDI 2023-track
Show activities from other conferences

Using general profile