I am the Principal Investigator of the research project: Distance bounding: a graph theoretical and formal approach (DIST), funded by the Fonds National de la Recherche, Reference No. C15_IS_10428112, Luxembourg, 2015. In the DIST project we are investigating the relation between graph-based hash functions and distance-bounding protocols. We are also developing a symbolic approach for the formal verification of distance bounding protocols. The team is formed by the following researchers:
Between 2013 and 2016, I was working on the TREsPASS
(Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security)
project, funded by the European Commission's Seventh Framework Programme under Grant Agreement No. 318003.