Ralf Sasse

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 28

Top Topics

Automated Verification

Formal Analysis

Cryptographic Protocols

Security Protocols

Top Venues

IEEE Symposium on Security and Privacy

Publications

Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP (2023)
Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin
"I'm Surprised So Much Is Connected". CHI (2022)
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. 20 (3) (2022)
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR (2022)
David A. Basin, Ralf Sasse, Jorge Toro-Pozo
Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. USENIX Security Symposium (2021)
Aleksi Peltonen, Ralf Sasse, David A. Basin
A comprehensive formal analysis of 5G handover. WISEC (2021)
David A. Basin, Ralf Sasse, Jorge Toro-Pozo
The EMV Standard: Break, Fix, Verify. IEEE Symposium on Security and Privacy (2021)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Verification of stateful cryptographic protocols with exclusive OR. J. Comput. Secur. 28 (1) (2020)
David A. Basin, Ralf Sasse, Jorge Toro-Pozo
The EMV Standard: Break, Fix, Verify. CoRR (2020)
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. EuroS&P (2020)
Sven Hammann, Ralf Sasse, David A. Basin
Privacy-Preserving OpenID Connect. AsiaCCS (2020)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium (2020)
Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. AsiaCCS (2020)
Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin
User Account Access Graphs. CCS (2019)
David A. Basin, Lucca Hirschi, Ralf Sasse
Symbolic Analysis of Identity-Based Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. EuroS&P (2019)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. IACR Cryptol. ePrint Arch. 2019 (2019)
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
Proxy Certificates: The Missing Link in the Web's Chain of Trust. CoRR (2019)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. CCS (2019)
Lucca Hirschi, Ralf Sasse, Jannik Dreier
Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. ERCIM News 2019 (117) (2019)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
Formal Analysis of 5G Authentication. CoRR (2018)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
A Formal Analysis of 5G Authentication. CCS (2018)
David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF (2018)
Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols. POST (2017)
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Symbolically analyzing security protocols using tamarin. ACM SIGLOG News 4 (4) (2017)
Ralf Sasse
Automated Symbolic Proofs of Security Protocols. UNIF (2016)
David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse
Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency (2015)
David A. Basin, Jannik Dreier, Ralf Sasse
Automated Symbolic Proofs of Observational Equivalence. CCS (2015)
David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
ARPKI: Attack Resilient Public-Key Infrastructure. CCS (2014)
Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin
Automated Verification of Group Key Agreement Protocols. IEEE Symposium on Security and Privacy (2014)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE (2013)
Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang
IBOS: A Correct-By-Construction Modular Browser. FACS (2012)
Santiago Escobar, Ralf Sasse, José Meseguer
Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS (2012)
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP (2011)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF (2011)
Ralf Sasse, Santiago Escobar, Catherine A. Meadows, José Meseguer
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM (2010)
Santiago Escobar, Ralf Sasse, José Meseguer
Folding Variant Narrowing and Optimal Variant Termination. WRLA (2010)
Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer
Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS (2009)
Santiago Escobar, José Meseguer, Ralf Sasse
Equational Unification by Variant Narrowing (Extended Abstract). UNIF (2008)
Santiago Escobar, José Meseguer, Ralf Sasse
Effectively Checking the Finite Variant Property. RTA (2008)
Santiago Escobar, José Meseguer, Ralf Sasse
Variant Narrowing and Equational Unification. WRLA (2008)
José Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang
A Systematic Approach to Uncover Security Flaws in GUI Logic. IEEE Symposium on Security and Privacy (2007)
Ralf Sasse, José Meseguer
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. WRLA (2006)
Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR (2005)