Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. - Wolfgang Ahrendt; Andreas Roth 002; Ralf Sasse (LPAR, 2005)

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. - Ralf Sasse; José Meseguer 001 (WRLA, 2006)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

A Systematic Approach to Uncover Security Flaws in GUI Logic. - José Meseguer 001; Ralf Sasse; Helen J. Wang; Yi-Min Wang (S&P, 2007)

Effectively Checking the Finite Variant Property. - Santiago Escobar 001; José Meseguer 001; Ralf Sasse (RTA, 2008)

Equational Unification by Variant Narrowing (Extended Abstract). - Santiago Escobar 001; José Meseguer 001; Ralf Sasse (UNIF, 2008)

Variant Narrowing and Equational Unification. - Santiago Escobar 001; José Meseguer 001; Ralf Sasse (WRLA, 2008)

Model-Checking DoS Amplification for VoIP Session Initiation. - Ravinder Shankesi; Musab AlTurki; Ralf Sasse; Carl A. Gunter; José Meseguer 001 (ESORICS, 2009)

Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. - Ralf Sasse; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (STM, 2010)

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. - Santiago Escobar 001; Deepak Kapur; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Ralf Sasse (PPDP, 2011)

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Ralf Sasse (UNIF, 2011)

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Sonia Santiago; Ralf Sasse (ESORICS, 2012)

IBOS: A Correct-By-Construction Modular Browser. - Ralf Sasse; Samuel T. King; José Meseguer 001; Shuo Tang (FACS, 2012)

Folding variant narrowing and optimal variant termination. - Santiago Escobar 001; Ralf Sasse; José Meseguer 001 (J. Log. Algebraic Methods Program., 2012)

Security models in rewriting logic for cryptographic protocols and browsers - Ralf Sasse (2012)

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. - Serdar Erbatur; Santiago Escobar 001; Deepak Kapur; Zhiqiang Liu; Christopher Lynch; Catherine Meadows 001; José Meseguer 001; Paliath Narendran; Sonia Santiago; Ralf Sasse (CADE, 2013)

ARPKI: Attack Resilient Public-Key Infrastructure. - David A. Basin; Cas Cremers; Tiffany Hyun-Jin Kim; Adrian Perrig; Ralf Sasse; Pawel Szalachowski (CCS, 2014)

Automated Verification of Group Key Agreement Protocols. - Benedikt Schmidt 002; Ralf Sasse; Cas Cremers; David A. Basin (IEEE Symposium on Security and Privacy, 2014)

Alice and Bob Meet Equational Theories. - David A. Basin; Michel Keller; Sasa Radomirovic; Ralf Sasse (Logic, Rewriting, and Concurrency, 2015)

Automated Symbolic Proofs of Observational Equivalence. - David A. Basin; Jannik Dreier; Ralf Sasse (CCS, 2015)

Automated Symbolic Proofs of Security Protocols. - Ralf Sasse (UNIF, 2016)

Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols. - Jannik Dreier; Charles Duménil; Steve Kremer; Ralf Sasse (POST, 2017)

Symbolically analyzing security protocols using tamarin. - David A. Basin; Cas Cremers; Jannik Dreier; Ralf Sasse (ACM SIGLOG News, 2017)

A Formal Analysis of 5G Authentication. - David A. Basin; Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse; Vincent Stettler (CCS, 2018)

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. - Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse (CSF, 2018)

Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. - David A. Basin; Cas Cremers; Tiffany Hyun-Jin Kim; Adrian Perrig; Ralf Sasse; Pawel Szalachowski (IEEE Trans. Dependable Secur. Comput., 2018)

Symbolic Analysis of Identity-Based Protocols. - David A. Basin; Lucca Hirschi; Ralf Sasse (Foundations of Security, Protocols, and Equational Reasoning, 2019)

User Account Access Graphs. - Sven Hammann; Sasa Radomirovic; Ralf Sasse; David A. Basin (CCS, 2019)

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. - Jorden Whitefield; Liqun Chen 002; Ralf Sasse; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (EuroS&P, 2019)

Proxy Certificates: The Missing Link in the Web's Chain of Trust. - Laurent Chuat; AbdelRahman Abdou; Ralf Sasse; Christoph Sprenger 001; David A. Basin; Adrian Perrig (CoRR, 2019)

Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. - Lucca Hirschi; Ralf Sasse; Jannik Dreier (ERCIM News, 2019)

Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. - Dennis Jackson; Cas Cremers; Katriel Cohn-Gordon; Ralf Sasse (IACR Cryptol. ePrint Arch., 2019)

Privacy-Preserving OpenID Connect. - Sven Hammann; Ralf Sasse; David A. Basin (AsiaCCS, 2020)

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. - Stephan Wesemeyer; Christopher J. P. Newton; Helen Treharne; Liqun Chen 002; Ralf Sasse; Jorden Whitefield (AsiaCCS, 2020)

SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. - Laurent Chuat; AbdelRahman Abdou; Ralf Sasse; Christoph Sprenger 001; David A. Basin; Adrian Perrig (EuroS&P, 2020)

Verification of stateful cryptographic protocols with exclusive OR. - Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse (J. Comput. Secur., 2020)

The EMV Standard: Break, Fix, Verify. - David A. Basin; Ralf Sasse; Jorge Toro-Pozo (SP, 2021)

Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. - David A. Basin; Ralf Sasse; Jorge Toro-Pozo (USENIX Security Symposium, 2021)

A comprehensive formal analysis of 5G handover. - Aleksi Peltonen; Ralf Sasse; David A. Basin (WISEC, 2021)

"I'm Surprised So Much Is Connected". - Sven Hammann; Michael Crabb; Sasa Radomirovic; Ralf Sasse; David A. Basin (CHI, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (CoRR, 2022)

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. - David A. Basin; Cas Cremers; Jannik Dreier; Ralf Sasse (IEEE Secur. Priv., 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (SP, 2023)

Getting Chip Card Payments Right. - David A. Basin; Xenia Hofmeier; Ralf Sasse; Jorge Toro-Pozo (FM (1), 2024)

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. - Guillaume Girol; Lucca Hirschi; Ralf Sasse; Dennis Jackson; Cas Cremers; David A. Basin (IACR Cryptol. ePrint Arch., 2024)

A Formal Analysis of Apple's iMessage PQ3 Protocol. - Felix Linker; Ralf Sasse; David A. Basin (IACR Cryptol. ePrint Arch., 2024)

Tamarin Prover. - David A. Basin; Cas Cremers; Jannik Dreier; Simon Meier; Ralf Sasse; Benedikt Schmidt 002 (Zenodo, 2024)

One For All: Formally Verifying Protocols which use Aggregate Signatures. - Xenia Hofmeier; Andrea Raguso; Ralf Sasse; Dennis Jackson; David A. Basin (CSF, 2025)

A Formal Analysis of Apple's iMessage PQ3 Protocol. - Felix Linker; Ralf Sasse; David A. Basin (Zenodo, 2025)

A Formal Analysis of Apple's iMessage PQ3 Protocol. - Felix Linker; Ralf Sasse; David A. Basin (Zenodo, 2025)

SoK: Attacks on Modern Card Payments. - Xenia Hofmeier; David A. Basin; Ralf Sasse; Jorge Toro-Pozo (CoRR, 2025)

One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version). - Xenia Hofmeier; Andrea Raguso; Ralf Sasse; Dennis Jackson; David A. Basin (CoRR, 2025)

Modeling and Analyzing Security Protocols with Tamarin - A Comprehensive Guide - David A. Basin; Cas Cremers; Jannik Dreier; Ralf Sasse (Springer, 2026)