Scholar
Ralf Sasse
Google Scholar ID: ZLxBMHcAAAAJ
Senior Scientist in Computer Science, ETH Zurich
Formal Methods
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,743
H-index
21
i10-index
30
Publications
20
Co-authors
42
list available
Contact
Email
ralf.sasse@inf.ethz.ch
Publications
3 items
Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
2026
Cited
0
One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)
2025
Cited
0
SoK: Attacks on Modern Card Payments
2025
Cited
0
Co-authors
8 total
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Cas Cremers
CISPA Helmholtz Center for Information Security
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Christoph Sprenger
Senior researcher at ETH Zurich
Deepak Kapur
University of New Mexico
Liqun Chen
Professor, University of Surrey, UK
