Rolando Trujillo Rasúa

Rolando Trujillo Rasúa is a computer scientist specialising in the security and privacy of distributed systems: security protocols, data privacy, formal verification and threat modelling. A Cuban Mathematical Olympiad medallist (bronze at IMO 1999 and 2000), he completed a PhD at Universitat Rovira i Virgili (2012) on privacy in RFID and mobile objects, then held a postdoctoral position in the SaToSS group at the University of Luxembourg and a senior lecturer post at Deakin University (Australia). He is currently a Ramón y Cajal researcher at URV and a member of the CRISES research group (Security and Privacy).

Notes7

• Represented Cuba at the International Mathematical Olympiad in 1999 (rank 202, 12 points) and 2000 (rank 149, 16 points), winning bronze both times - a double Olympiad medallist who then took a mathematical-foundations route into cryptography and privacy research.Jul 2000
• PhD (2012, URV) 'Privacy in RFID and mobile objects' supervised by Agusti Solanas and Josep Domingo-Ferrer, placing him in the Catalan data-privacy school (Domingo-Ferrer's CRISES lineage).
• Career arc Cuba -> PhD Catalonia -> postdoc SaToSS, University of Luxembourg (with Sjouke Mauw) -> Senior Lecturer, Deakin University (Australia) -> back to URV as a Ramon y Cajal researcher, the Spain-to-Australia-and-back arc typical of the RyC repatriation track.
• Principal Investigator of the DIST project (Distance bounding: a graph theoretical and formal approach), funded by Luxembourg's FNR (ref C15_IS_10428112, 2015) - independent grant leadership during the Luxembourg period.
• Co-author of 'Distance-Bounding Protocols: Verification without Time and Location' (IEEE S&P / Oakland 2018) with Sjouke Mauw, Zach Smith and Jorge Toro-Pozo - a top-tier security-venue result on formally verifying distance-bounding protocols.
• Research at URV's CRISES group spans security protocols, formal verification, data anonymization/differential privacy and blockchain/smart-contract security - breadth from graph theory to applied cryptography.
• ORCID 0000-0002-8714-4626; Google Scholar profile user USxx1TEAAAAJ; MathSciNet author 1207719; DBLP pid 87/8778 - an established academic footprint.
• His Spanish-language URV listing ('Licenciado en Informatica', Cuban-trained informatics bachelor) plus the Cuba->Catalonia move suggests he left Cuba for doctoral study in Spain, consistent with the common post-Olympiad academic emigration path.