POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
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


Show activities from other conferences

POPL 2024-profile
View general profile