| 2025 | ASIACRYPT | Pseudorandom Correlation Functions from Ring-LWR. | Sebastian Hasler, Pascal Reisert, Ralf Ksters |
| 2025 | ICDAR | AttentionLeak: What Does Human Attention Reveal About Information Visualisation? | Malte Snnichsen, Mayar Elfares, Yao Wang, Ralf Ksters, Alina Roitberg, Andreas Bulling |
| 2024 | ASIACRYPT | Actively Secure Polynomial Evaluation from Shared Polynomial Encodings. | Pascal Reisert, Marc Rivinius, Toomas Krips, Sebastian Hasler, Ralf Ksters |
| 2023 | AsiaCCS | Overdrive LowGear 2.0: Reduced-Bandwidth MPC without Sacrifice. | Pascal Reisert, Marc Rivinius, Toomas Krips, Ralf Ksters |
| 2023 | ESORICS | Layered Symbolic Security Analysis in $\textsf {DY}^\star $. | Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Ksters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Wrtele |
| 2023 | ESORICS | The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. | Florian Helmschmidt, Pedram Hosseyni, Ralf Ksters, Klaas Pruiksma, Clara Waldmann, Tim Wrtele |
| 2023 | ESORICS | Fully Tally-Hiding Verifiable E-Voting for Real-World Elections with Seat-Allocations. | Carmen Wabartha, Julian Liedtke, Nicolas Huber, Daniel Rausch, Ralf Ksters |
| 2023 | SP | AUC: Accountable Universal Composability. | Mike Graf, Ralf Ksters, Daniel Rausch |
| 2022 | CCS | Kryvos: Publicly Tally-Hiding Verifiable E-Voting. | Nicolas Huber, Ralf Ksters, Toomas Krips, Julian Liedtke, Johannes Mller, Daniel Rausch, Pascal Reisert, Andreas Vogt |
| 2022 | DATE | Intelligent Methods for Test and Reliability. | Hussam Amrouch, Jens Anders, Steffen Becker, Maik Betka, Gerd Bleher, Peter Domanski, Nourhan Elhamawy, Thomas Ertl, Athanasios Gatzastras, Paul R. Genssler, Sebastian Hasler, Martin Heinrich, Andr van Hoorn, Hanieh Jafarzadeh, Ingmar Kallfass, Florian Klemme, Steffen Koch, Ralf Ksters, Andrs Lalama, Raphal Latty, Yiwen Liao, Natalia Lylina, Zahra Paria Najafi-Haghi, Dirk Pflger, Ilia Polian, Jochen Rivoir, Matthias Sauer, Denis Schwachhofer, Steffen Templin, Christian Volmer, Stefan Wagner, Daniel Weiskopf, Hans-Joachim Wunderlich, Bin Yang, Martin Zimmermann |
| 2022 | EuroCrypt | Embedding the UC Model into the IITM Model. | Daniel Rausch, Ralf Ksters, Cline Chevalier |
| 2022 | SP | A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. | Quoc Huy Do, Pedram Hosseyni, Ralf Ksters, Guido Schmitz, Nils Wenzler, Tim Wrtele |
| 2022 | SP | Publicly Accountable Robust Multi-Party Computation. | Marc Rivinius, Pascal Reisert, Daniel Rausch, Ralf Ksters |
| 2021 | CCS | A Security Framework for Distributed Ledgers. | Mike Graf, Daniel Rausch, Viktoria Ronge, Christoph Egger, Ralf Ksters, Dominique Schrder |
| 2021 | CCS | An In-Depth Symbolic Security Analysis of the ACME Standard. | Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Ksters, Guido Schmitz, Tim Wrtele |
| 2019 | ASIACRYPT | iUC: Flexible Universal Composability Made Simple. | Jan Camenisch, Stephan Krenn, Ralf Ksters, Daniel Rausch |
| 2019 | SP | An Extensive Formal Security Analysis of the OpenID Financial-Grade API. | Daniel Fett, Pedram Hosseyni, Ralf Ksters |
| 2017 | SP | A Framework for Universally Composable Diffie-Hellman Key Exchange. | Ralf Ksters, Daniel Rausch |
| 2016 | ASIACRYPT | Universal Composition with Responsive Environments. | Jan Camenisch, Robert R. Enderlein, Stephan Krenn, Ralf Ksters, Daniel Rausch |
| 2016 | CCS | A Comprehensive Formal Security Analysis of OAuth 2.0. | Daniel Fett, Ralf Ksters, Guido Schmitz |
| 2016 | SP | SoK: Verifiability Notions for E-Voting Protocols. | Vronique Cortier, David Galindo, Ralf Ksters, Johannes Mller, Tomasz Truderung |
| 2015 | CCS | SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. | Daniel Fett, Ralf Ksters, Guido Schmitz |
| 2015 | ESORICS | Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. | Daniel Fett, Ralf Ksters, Guido Schmitz |
| 2014 | SP | An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System. | Daniel Fett, Ralf Ksters, Guido Schmitz |
| 2014 | SP | Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2012 | SP | Clash Attacks on the Verifiability of E-Voting Systems. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2011 | CCS | Composition theorems without pre-established session identifiers. | Ralf Ksters, Max Tuengerthal |
| 2011 | SP | Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2010 | CCS | Accountability: definition and relationship to verifiability. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2010 | ICICS | Proving Coercion-Resistance of Scantegrity II. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2010 | SecureComm | A Formal Definition of Online Abuse-Freeness. | Ralf Ksters, Henning Schnoor, Tomasz Truderung |
| 2009 | CCS | Computational soundness for key exchange protocols with symmetric encryption. | Ralf Ksters, Max Tuengerthal |
| 2009 | SP | An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. | Ralf Ksters, Tomasz Truderung |
| 2008 | CCS | Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach. | Ralf Ksters, Tomasz Truderung |
| 2007 | CCS | Selecting theories and nonce generation for recursive protocols. | Klaas Ole Krtz, Ralf Ksters, Thomas Wilke |
| 2007 | ESORICS | A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols. | Vronique Cortier, Ralf Ksters, Bogdan Warinschi |
| 2007 | LICS | Infinite State AMC-Model Checking for Cryptographic Protocols. | Detlef Khler, Ralf Ksters, Tomasz Truderung |
| 2007 | STACS | On the Automatic Analysis of Recursive Security Protocols with XOR. | Ralf Ksters, Tomasz Truderung |
| 2006 | ESORICS | Conditional Reactive Simulatability. | Michael Backes, Markus Drmuth, Dennis Hofheinz, Ralf Ksters |
| 2006 | ICALP | A Dolev-Yao-Based Definition of Abuse-Free Protocols. | Detlef Khler, Ralf Ksters, Thomas Wilke |
| 2005 | CONCUR | Constraint Solving for Contract-Signing Protocols. | Detlef Khler, Ralf Ksters |
| 2005 | STACS | Deciding Properties of Contract-Signing Protocols. | Detlef Khler, Ralf Ksters, Thomas Wilke |
| 2005 | TCC | On the Relationships Between Notions of Simulation-Based Security. | Anupam Datta, Ralf Ksters, John C. Mitchell, Ajith Ramanathan |
| 2004 | STACS | Automata-Based Analysis of Recursive Cryptographic Protocols. | Ralf Ksters, Thomas Wilke |
| 2003 | CSL | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani, Laurent Vigneron |
| 2003 | LICS | An NP Decision Procedure for Protocol Insecurity with XOR. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani |
| 2003 | LPAR | Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. | Sebastian Brandt, Anni-Yasmin Turhan, Ralf Ksters |
| 2002 | CONCUR | On the Decidability of Cryptographic Protocols with Open-Ended Data Structures. | Ralf Ksters |
| 2002 | KR | Approximation and Difference in Description Logics. | Sebastian Brandt, Ralf Ksters, Anni-Yasmin Turhan |
| 2001 | IJCAI | Matching under Side Conditions in Description Logics. | Franz Baader, Sebastian Brandt, Ralf Ksters |
| 2001 | IJCAI | Computing Least Common Subsumers in ALEN. | Ralf Ksters, Ralf Molitor |
| 2001 | KI | Approximating Most Specific Concepts in Description Logics with Existential Restrictions. | Ralf Ksters, Ralf Molitor |
| 2001 | LPAR | Unification in a Description Logic with Transitive Closure of Roles. | Franz Baader, Ralf Ksters |
| 2000 | KR | Matching Concept Descriptions with Existential Restrictions. | Franz Baader, Ralf Ksters |
| 2000 | KR | Rewriting Concepts Using Terminologies. | Franz Baader, Ralf Ksters, Ralf Molitor |
| 1999 | IJCAI | Computing Least Common Subsumers in Description Logics with Existential Restrictions. | Franz Baader, Ralf Ksters, Ralf Molitor |
| 1998 | KI | Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. | Franz Baader, Ralf Ksters |
| 1998 | KR | Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. | Ralf Ksters |