Rolando Trujillo Rasua

I am a research associate in the Security and Trust of Software Systems (SaToSS) research group headed by Prof. Sjouke Mauw. I am a member of the Interdisciplinary Centre for Security, Reliability and Trust.

Research interests

DIST project

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:

TREsPASS project

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.