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.