I’m a postdoctoral researcher at the Information Security Group, led by Prof. David Basin. The group is within the Department of Computer Science at ETH Zürich.

My research focuses on computer security, specifically on formal verification of security protocols, distance bounding, symbolic analysis, RFID protocols, automated verification, applied crypto, and PKI.

I have a PhD in Computer Science from the University of Luxembourg. My supervisor was Prof. Sjouke Mauw and my scientific advisor was Rolando Trujillo-Rasua.

Here’s my CV .


  • Our paper Post-Collusion Security and Distance Bounding has been accepted for CCS’19!!!
  • On May 14th, 2019, I successfully defended my PhD thesis with the grade of Excellent. To everyone who supported me throughout these four years, thank you!!!