I’m a postdoctoral researcher in Prof. David Basin’s Information Security Group, within the Department of Computer Science at ETH Zürich.

My research filed is information security with focus on formal verification of security protocols, symbolic analysis, automated/assisted verification, distance bounding, applied crypto, PKI.

I received my PhD in computer science from the University of Luxembourg in 2019. My supervisor was Prof. Sjouke Mauw and my scientific advisor was Rolando Trujillo. My PhD was funded by the Luxembourg Fonds National de la Recherche (FNR), under the AFR-PhD grant number 10188265.