Ralf Sasse
Scholar

Ralf Sasse

Google Scholar ID: ZLxBMHcAAAAJ
Senior Scientist in Computer Science, ETH Zurich
Formal MethodsSecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,743
 
H-index
21
 
i10-index
30
 
Publications
20
 
Co-authors
42
list available
Contact
Emailralf.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
Resume (English only)
Co-authors
42 total
David Basin
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Jose Meseguer
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Santiago Escobar
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8