I am full professor in "Security and Trust of Software Systems" at the
University of Luxembourg in the
Computer Science and Communications Research Unit.
I am head of the
SaToSS research group.
Research
My research focuses on formalising and applying formal reasoning to
real-world security problems and trust issues.
Current research topics:
- Security protocols
- Security assessment
- Privacy
- Attack trees
- RFID security
- E-voting
- Trust and risk management
- Contract signing protocols
- Digital Rights Management
- Mobile ad-hoc and sensor networks