معرفی
Sebastian Alexander Mödersheim is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). He specializes in security protocols, formal verification, and privacy-preserving technologies. His research focuses on developing automated methods for analyzing and ensuring the security and privacy of cryptographic protocols, including topics such as privacy properties, protocol compositionality, and accountability mechanisms.
His work contributes to UN Sustainable Development Goals by addressing privacy and security challenges in digital systems. Key research areas include formal methods for protocol verification, privacy models like Alpha-Beta Privacy, and secure authentication mechanisms.
Mödersheim has authored over 59 publications, including peer-reviewed articles in prestigious conferences such as IEEE Computer Security Foundations Symposium (CSF) and journals like ACM Transactions on Privacy and Security. His recent work emphasizes privacy in authentication protocols, stateful protocol composition, and automated verification tools using theorem provers like Isabelle/HOL.
He supervises PhD students in projects such as secure cloud-edge computing (TaRDIS), logical approaches to privacy, and formalization of security protocols. His contributions also extend to tools like AVISPA and AIF framework for protocol analysis.
