Jorge Toro Pozo
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.