I’m a PhD candidate in computer security at the University of Luxembourg under supervision of Prof. Sjouke Mauw within the Security and Trust of Software Systems group. My PhD is being funded by Luxembourg National Research Fund, under the grant AFR-PhD-10188265.

My work focusses on formal verification of security protocols, with particular interest in distance-bounding protocols.

I have a B.S. in Computer Science and a M.S. in Applied Informatics.

My CV can be found here.


  • I successfully defended my PhD thesis yesterday (May 14, 2019) with the grade of Excellent. To everyone who supported me throughout these four years, thank you!!!
  • I’m glad to announce that in June 2019, I’ll be joining Prof. David Basin’s Information Security Group at ETH Zurich!!!