Ralf Sasse
Senior Researcher at ETH Zurich
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolRalf Sasse is a senior researcher at ETH Zurich who specializes in formal methods and software quality, with a particular focus on security protocols and their verification. He blends academic rigor with practical tool-building, contributing to the Tamarin prover’s core to support xor-based cryptography and observational equivalence while improving the handling of axioms and restrictions. Proficient in Maude, Haskell, Spec#, Java, and C/C++, he moves seamlessly between theoretical foundations and real-world protocol analysis, including case studies and attack modeling. He holds a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign and a Dipl.-Inform. in Computer Science from KIT, bringing more than a decade of research experience to his role. Based in Zurich, he actively advances formal methods research and security tooling at ETH, shaping both academic and practical perspectives on protocol verification.
13 years of coding experience
7 years of employment as a software developer
Dipl.-Inform., Computer Science, Dipl.-Inform., Computer Science at Karlsruhe Institute of Technology (KIT)Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of Illinois Urbana-Champaign
English, German
Github Skills (9)
it-security10
theorem-proving10
formal-verification10
xor10
cryptography10
security10
logic9
parser8
haskell6
Programming languages (7)
Github contributions (5)
tamarin-prover/tamarin-prover
Dec 2012 - Sep 2021
Main source code repository of the Tamarin prover for security protocol verification.
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:8 releases, 4 reviews, 471 commits in 8 years 10 months
Contributions summary:Ralf's commits primarily focused on modifying the Tamarin Prover's core functionality, specifically related to the handling and processing of xor-based cryptographic algorithms and the application of security properties such as observational equivalence. They implemented changes to accommodate these algorithms within the prover's framework, including fixing an issue that led to open chains within the logic. Additionally, the user refactored and enhanced the parsing and handling of axioms and restrictions within the tool, improving its overall robustness and functionality related to cryptographic security analysis. The user was also responsible for working through a variety of case studies, checking properties and showing/generating attacks against protocols.
proversecuritysecurity-protocoltamarintla
rsasse/tamarin-prover
Apr 2017 - Oct 2018
Main repository of the Tamarin prover for security protocol verification.
Contributions:28 commits, 78 pushes, 11 branches in 1 year 6 months
proversecuritysecurity-protocoltamarinrustlang
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.