Sjouke Mauw

Sjouke Mauw is a full professor in "Security and Trust of Software Systems" at the University of Luxembourg, leading the Department of Computer Science and the SaToSS research group. His work bridges formal methods with real-world security and trust challenges.

• Current affiliation: University of Luxembourg (Faculty of Science, Technology and Communication)
• Previous roles: Associate Professor at Eindhoven University of Technology, Senior Researcher at CWI

Research Focus

• Security protocols and their formal verification
• Attack trees and defense trees for structured threat analysis
• Privacy in voting systems and digital exchange
• Trust management frameworks and risk assessment
• RFID and e-voting security
• Cyber-physical socio-technical systems

Recent Article Trends (2023-2025) include applications of deep learning to privacy risks, formal verification of distance-bounding protocols, and anomaly detection in resource-constrained environments like cubesats. These works span machine learning, cryptography, and aerospace engineering.

Academic Contributions include over 50 refereed publications, supervision of 15+ PhD students, and leadership in European research projects (e.g., Meteor, Concur). He has developed formal methods for security protocols, attack-defense trees, and GNSS signal integrity frameworks.