POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Marco Guarnieri

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. 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.

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

Contributions

Show activities from other conferences

Using general profile