Ralf Sasse
ETH Zurich(CH)
Publications by Year
Research Areas
Advanced Authentication Protocols Security, User Authentication and Security Systems, Cryptography and Data Security, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- → A Formal Analysis of 5G Authentication(2018)393 cited
- → Folding variant narrowing and optimal variant termination(2012)119 cited
- → ARPKI(2014)111 cited
- → Automated Symbolic Proofs of Observational Equivalence(2015)73 cited
- → Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure(2016)50 cited
- → A Systematic Approach to Uncover Security Flaws in GUI Logic(2007)50 cited
- → Symbolically analyzing security protocols using tamarin(2017)44 cited
- → Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR(2018)42 cited
- → Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols(2022)41 cited
- → Variant Narrowing and Equational Unification(2009)39 cited