 |
Ramon y Cajal ResearcherContact:
Research Group: CRISES Research Interests: Security protocols, data privacy, formal verification, threat modelling
|
|
Bio: 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. |
|
