Ralf Sasse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Getting Chip Card Payments Right. | David A. Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo |
| 2023 | SP | Sound Verification of Security Protocols: From Design to Interoperable Implementations. | Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Mller |
| 2022 | CHI | "I'm Surprised So Much Is Connected". | Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin |
| 2021 | SP | The EMV Standard: Break, Fix, Verify. | David A. Basin, Ralf Sasse, Jorge Toro-Pozo |
| 2020 | CCS | Privacy-Preserving OpenID Connect. | Sven Hammann, Ralf Sasse, David A. Basin |
| 2020 | CCS | Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. | Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield |
| 2019 | CCS | User Account Access Graphs. | Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin |
| 2019 | CCS | Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. | Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse |
| 2018 | CCS | A Formal Analysis of 5G Authentication. | David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler |
| 2015 | CCS | Automated Symbolic Proofs of Observational Equivalence. | David A. Basin, Jannik Dreier, Ralf Sasse |
| 2014 | CCS | ARPKI: Attack Resilient Public-Key Infrastructure. | David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski |
| 2014 | SP | Automated Verification of Group Key Agreement Protocols. | Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin |
| 2013 | CADE | Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2012 | ESORICS | Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2011 | PPDP | Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Ralf Sasse |
| 2009 | ESORICS | Model-Checking DoS Amplification for VoIP Session Initiation. | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, Jos Meseguer |
| 2007 | SP | A Systematic Approach to Uncover Security Flaws in GUI Logic. | Jos Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang |
| 2005 | LPAR | Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. | Wolfgang Ahrendt, Andreas Roth, Ralf Sasse |