معرفی
Dr. Ralf Sasse is a Lecturer and Senior Scientist (Focus Education) at ETH Zurich's Department of Computer Science. He specializes in the intersection of information security and formal methods, with a focus on automated analysis of security protocols and tool development. His research has been published in top venues such as IEEE Symposium on Security and Privacy (S&P), Usenix Security, and ACM CCS.
Education: PhD in Computer Science (University of Illinois at Urbana-Champaign, 2012), Diplom in Computer Science (University of Karlsruhe, Germany, 2005). His work bridges formal methods with practical security challenges, including cryptographic protocol analysis, payment system security, and automated verification tools like Tamarin.
Research interests include formal verification of protocols, security protocol design, and cryptographic system analysis. His contributions span topics like 5G authentication, EMV standard vulnerabilities, and privacy-preserving identity systems. Key achievements include the Best Practical Paper Award for 'The EMV Standard: Break, Fix, Verify' (2021) and foundational work on Tamarin, a widely used tool for cryptographic protocol analysis.
His publications highlight advancements in protocol modeling, attack detection, and interoperability. Collaborations include projects with David Basin's group at ETH Zurich and contributions to the Attack Resilient Public-Key Infrastructure (ARPKI). Current efforts focus on enhancing security through formal methods and addressing real-world protocol vulnerabilities.
