Registered user since Sun 24 Nov 2019
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.
|PLDI 2022||ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification|
|Show activities from other conferences|