I am a Senior Lecturer in Secure Systems at University of Surrey. My research focuses on (automatic) analysis of security using mainly logic-based formalisms, as well as on provable security and applied cryptography.
I obtained my PhD in formal verification of security protocols from Imperial College London (2011), and my BSc in computing, vale dictorian, from Faculty of Computer Science, "Alexandru Ioan Cuza" University, Iaşi, România (2007). After my PhD, I worked as a postdoctoral researcher in LASEC (Laboratory of Security and Cryptography) at EPFL, Lausanne, Switzerland. In 2012, I became deputy director of the lab and a lecturer ("chargée de cours") in security and cryptography. In 2013, I was appointed Professor of Information Security at the University of Applied Sciences, Western Switzerland. I then spent some time in industry, working as a security architect at Akamai. In 2015, I was awarded an H2020 Marie Skłodowska-Curie (MSCA) Fellowship, hosted Imperial College London and the Univ. of Surrey. In June 2017, I became a lecturer at Univ. of Surrey.