I am a former PhD student at the University of Luxembourg. I successfully
defended my thesis, titled Computational and Symbolic Analysis of Distance-Bounding Protocols,
in May 2019. You can find my Github page here.
Security and Trust of Software Systems
Belval Campus, Maison du Nombre (3rd floor), 6 avenue de la Fonte, L-4364 Esch-sur-Alzette, Luxembourg