Ramon y Cajal Researcher
Research Group: CRISES
Research Interests: Security protocols, data privacy, formal verification, threat modelling
I'm a Ramon y Cajal researcher at Rovira i Virgili University (URV) and a multiple medallist in Mathematical Olympiads. Prior to joining the URV, I held a senior lecturer position at Deakin University (Australia) and a postdoctoral position at the University of Luxembourg. My work appears in the most important publication venues in computer security, such as ACM CCS, S&P, ESORICS and CSF, and my research interests span the areas of formal methods, computer security and privacy protection.