Ralf Küsters

198 papers A* 29A 22B 7C 2Misc 2Journal 93Unranked 35
YearRankTypeTitle / Venue / Authors
2026 J jnl
Gaze3P: Gaze-Based Prediction of User-Perceived Privacy.
Proc. Priv. Enhancing Technol.
Mayar Elfares, Pascal Reisert, Ralf Küsters, Andreas Bulling
2025 — conf
AttentionLeak: What Does Human Attention Reveal About Information Visualisation?
ICDAR (4)
Malte Sönnichsen, Mayar Elfares, Yao Wang, Ralf Küsters, Alina Roitberg, Andreas Bulling
2025 J jnl
Audience Injection Attacks: A New Class of Attacks on Web-Based Authorization and Authentication Standards.
IACR Cryptol. ePrint Arch.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2025 J jnl
CryptoQA: A Large-scale Question-answering Dataset for AI-assisted Cryptography.
CoRR
Mayar Elfares, Pascal Reisert, Tilman Dietz, Manpa Barman, Ahmed Zaki, Ralf Küsters, Andreas Bulling
2025 J jnl
Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process.
ACM Trans. Priv. Secur.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2025 J jnl
Gaze3P: Gaze-Based Prediction of User-Perceived Privacy.
CoRR
Mayar Elfares, Pascal Reisert, Ralf Küsters, Andreas Bulling
2025 J jnl
Guidelines for Gaze-based Neural Preliminary Diagnosis.
CoRR
Mayar Elfares, Salma Younis, Pascal Reisert, Ralf Küsters, Tobias J. Renner, Andreas Bulling
2025 J jnl
Improving the Efficiency of zkSNARKs for Ballot Validity.
IACR Cryptol. ePrint Arch.
Felix Röhr, Nicolas Huber, Ralf Küsters
2025 — conf
Pseudorandom Correlation Functions from Ring-LWR.
ASIACRYPT (7)
Sebastian Hasler, Pascal Reisert, Ralf Küsters
2025 J jnl
Pseudorandom Correlation Functions from Ring-LWR.
IACR Cryptol. ePrint Arch.
Sebastian Hasler, Pascal Reisert, Ralf Küsters
2025 J jnl
QualitEye: Public and Privacy-preserving Gaze Data Quality Verification.
CoRR
Mayar Elfares, Pascal Reisert, Ralf Küsters, Andreas Bulling
2025 A conf
Verifiable E-Voting with a Trustless Bulletin Board.
CSF
Daniel Rausch, Nicolas Huber, Ralf Küsters
2025 J jnl
Verifiable E-Voting with a Trustless Bulletin Board.
IACR Cryptol. ePrint Arch.
Daniel Rausch, Nicolas Huber, Ralf Küsters
2024 A conf
Accountable Bulletin Boards: Definition and Provably Secure Implementation.
CSF
Mike Graf, Ralf Küsters, Daniel Rausch, Simon Egger, Marvin Bechtold, Marcel Flinspach
2024 — conf
Actively Secure Polynomial Evaluation from Shared Polynomial Encodings.
ASIACRYPT (6)
Pascal Reisert, Marc Rivinius, Toomas Krips, Sebastian Hasler, Ralf Küsters
2024 J jnl
Actively Secure Polynomial Evaluation from Shared Polynomial Encodings.
IACR Cryptol. ePrint Arch.
Pascal Reisert, Marc Rivinius, Toomas Krips, Sebastian Hasler, Ralf Küsters
2024 J jnl
Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process.
IACR Cryptol. ePrint Arch.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2024 A conf
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process.
CSF
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2024 J jnl
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process.
IACR Cryptol. ePrint Arch.
Pedram Hosseyni, Ralf Küsters, Tim Würtele
2024 J jnl
Multipars: Reduced-Communication MPC over Z2k.
Proc. Priv. Enhancing Technol.
Sebastian Hasler, Pascal Reisert, Marc Rivinius, Ralf Küsters
2024 J jnl
PrivatEyes: Appearance-based Gaze Estimation Using Federated Secure Multi-Party Computation.
CoRR
Mayar Elfares, Pascal Reisert, Zhiming Hu, Wenwu Tang, Ralf Küsters, Andreas Bulling
2024 J jnl
PrivatEyes: Appearance-based Gaze Estimation Using Federated Secure Multi-Party Computation.
Proc. ACM Hum. Comput. Interact.
Mayar Elfares, Pascal Reisert, Zhiming Hu, Wenwu Tang, Ralf Küsters, Andreas Bulling
2024 — conf
ZK-SNARKs for Ballot Validity: A Feasibility Study.
E-Vote-ID
Nicolas Huber, Ralf Küsters, Julian Liedtke, Daniel Rausch
2024 J jnl
ZK-SNARKs for Ballot Validity: A Feasibility Study.
IACR Cryptol. ePrint Arch.
Nicolas Huber, Ralf Küsters, Julian Liedtke, Daniel Rausch
2023 A* conf
AUC: Accountable Universal Composability.
SP
Mike Graf, Ralf Küsters, Daniel Rausch
2023 J jnl
Accountable Bulletin Boards: Definition and Provably Secure Implementation.
IACR Cryptol. ePrint Arch.
Mike Graf, Ralf Küsters, Daniel Rausch, Simon Egger, Marvin Bechtold, Marcel Flinspach
2023 J jnl
Convolutions in Overdrive: Maliciously Secure Convolutions for MPC.
IACR Cryptol. ePrint Arch.
Marc Rivinius, Pascal Reisert, Sebastian Hasler, Ralf Küsters
2023 J jnl
Convolutions in Overdrive: Maliciously Secure Convolutions for MPC.
Proc. Priv. Enhancing Technol.
Marc Rivinius, Pascal Reisert, Sebastian Hasler, Ralf Küsters
2023 — conf
Fully Tally-Hiding Verifiable E-Voting for Real-World Elections with Seat-Allocations.
ESORICS (1)
Carmen Wabartha, Julian Liedtke, Nicolas Huber, Daniel Rausch, Ralf Küsters
2023 J jnl
Fully Tally-Hiding Verifiable E-Voting for Real-World Elections with Seat-Allocations.
IACR Cryptol. ePrint Arch.
Carmen Wabartha, Julian Liedtke, Nicolas Huber, Daniel Rausch, Ralf Küsters
2023 — conf
Layered Symbolic Security Analysis in $\textsf {DY}^\star $.
ESORICS (3)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 J jnl
Layered Symbolic Security Analysis in DY$^\star$.
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 J jnl
Multipars: Reduced-Communication MPC over Z2k.
IACR Cryptol. ePrint Arch.
Sebastian Hasler, Pascal Reisert, Marc Rivinius, Ralf Küsters
2023 A conf
Overdrive LowGear 2.0: Reduced-Bandwidth MPC without Sacrifice.
AsiaCCS
Pascal Reisert, Marc Rivinius, Toomas Krips, Ralf Küsters
2023 J jnl
Overdrive LowGear 2.0: Reduced-Bandwidth MPC without Sacrifice.
IACR Cryptol. ePrint Arch.
Sebastian Hasler, Toomas Krips, Ralf Küsters, Pascal Reisert, Marc Rivinius
2023 — conf
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
ESORICS (3)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
2023 J jnl
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
IACR Cryptol. ePrint Arch.
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
2022 A* conf
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
SP
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
2022 J jnl
AUC: Accountable Universal Composability.
IACR Cryptol. ePrint Arch.
Mike Graf, Ralf Küsters, Daniel Rausch
2022 J jnl
Arithmetic Tuples for MPC.
IACR Cryptol. ePrint Arch.
Pascal Reisert, Marc Rivinius, Toomas Krips, Ralf Küsters
2022 — conf
Embedding the UC Model into the IITM Model.
EUROCRYPT (2)
Daniel Rausch, Ralf Küsters, Céline Chevalier
2022 J jnl
Embedding the UC Model into the IITM Model.
IACR Cryptol. ePrint Arch.
Daniel Rausch, Ralf Küsters, Céline Chevalier
2022 — conf
Federated Learning for Appearance-based Gaze Estimation in the Wild.
Gaze Meets ML
Mayar Elfares, Zhiming Hu, Pascal Reisert, Andreas Bulling, Ralf Küsters
2022 J jnl
Federated Learning for Appearance-based Gaze Estimation in the Wild.
CoRR
Mayar Elfares, Zhiming Hu, Pascal Reisert, Andreas Bulling, Ralf Küsters
2022 A conf
Intelligent Methods for Test and Reliability.
DATE
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 Küsters, Andrés Lalama, Raphaël Latty, Yiwen Liao, Natalia Lylina, Zahra Paria Najafi-Haghi, Dirk Pflüger, Ilia Polian, Jochen Rivoir, Matthias Sauer, Denis Schwachhofer, Steffen Templin, Christian Volmer, Stefan Wagner, Daniel Weiskopf, Hans-Joachim Wunderlich, Bin Yang, Martin Zimmermann
2022 A* conf
Kryvos: Publicly Tally-Hiding Verifiable E-Voting.
CCS
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt
2022 J jnl
Kryvos: Publicly Tally-Hiding Verifiable E-Voting.
IACR Cryptol. ePrint Arch.
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt
2022 A* conf
Publicly Accountable Robust Multi-Party Computation.
SP
Marc Rivinius, Pascal Reisert, Daniel Rausch, Ralf Küsters
2022 J jnl
Publicly Accountable Robust Multi-Party Computation.
IACR Cryptol. ePrint Arch.
Marc Rivinius, Pascal Reisert, Daniel Rausch, Ralf Küsters
2022 — conf
Recent Developments in the Context of Online Elections and Digital Polls in Germany.
Sicherheit
Bernhard Beckert, Jurlind Budurushi, Armin Grunwald, Robert Krimmer, Oksana Kulyk, Ralf Küsters, Andreas Mayer, Jörn Müller-Quade, Stephan Neumann, Melanie Volkamer
2021 J jnl
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
IACR Cryptol. ePrint Arch.
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
2021 A* conf
A Security Framework for Distributed Ledgers.
CCS
Mike Graf, Daniel Rausch, Viktoria Ronge, Christoph Egger, Ralf Küsters, Dominique Schröder
2021 J jnl
A Security Framework for Distributed Ledgers.
IACR Cryptol. ePrint Arch.
Christoph Egger, Mike Graf, Ralf Küsters, Daniel Rausch, Viktoria Ronge, Dominique Schröder
2021 — conf
A Tutorial-Style Introduction to DY*.
Protocols, Strands, and Logic
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 A* conf
An In-Depth Symbolic Security Analysis of the ACME Standard.
CCS
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 J jnl
An In-Depth Symbolic Security Analysis of the ACME Standard.
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 A conf
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.
EuroS&P
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 J jnl
Extending the Tally-Hiding Ordinos System: Implementations for Borda, Hare-Niemeyer, Condorcet, and Instant-Runoff Voting.
IACR Cryptol. ePrint Arch.
Fabian Hertel, Nicolas Huber, Jonas Kittelberger, Ralf Küsters, Julian Liedtke, Daniel Rausch
2021 Misc ed.
Progress in Cryptology - INDOCRYPT 2021 - 22nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021, Proceedings
INDOCRYPT
Avishek Adhikari, Ralf Küsters, Bart Preneel
2020 A conf
Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric.
EuroS&P
Mike Graf, Ralf Küsters, Daniel Rausch
2020 J jnl
Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Daniel Rausch, Mike Simon
2020 — ed.
Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings
E-Vote-ID
Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mikhel Solvak
2020 J jnl
Joint State Composition Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.
J. Cryptol.
Ralf Küsters, Max Tuengerthal, Daniel Rausch
2020 A conf
Ordinos: A Verifiable Tally-Hiding E-Voting System.
EuroS&P
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt
2020 J jnl
Ordinos: A Verifiable Tally-Hiding E-Voting System.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt
2020 J jnl
The IITM Model: A Simple and Expressive Model for Universal Composability.
J. Cryptol.
Ralf Küsters, Max Tuengerthal, Daniel Rausch
2019 A* conf
An Extensive Formal Security Analysis of the OpenID Financial-Grade API.
IEEE Symposium on Security and Privacy
Daniel Fett, Pedram Hosseyni, Ralf Küsters
2019 J jnl
An Extensive Formal Security Analysis of the OpenID Financial-grade API.
CoRR
Daniel Fett, Pedram Hosseyni, Ralf Küsters
2019 — ed.
Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
E-Vote-ID
Robert Krimmer, Melanie Volkamer, Véronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid
2019 J jnl
Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042).
Dagstuhl Reports
Jan Camenisch, Ralf Küsters, Anna Lysyanskaya, Alessandra Scafuro
2019 — conf
iUC: Flexible Universal Composability Made Simple.
ASIACRYPT (3)
Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch
2019 J jnl
iUC: Flexible Universal Composability Made Simple.
IACR Cryptol. ePrint Arch.
Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch
2018 — ed.
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
POST
Lujo Bauer, Ralf Küsters
2017 A* conf
A Framework for Universally Composable Diffie-Hellman Key Exchange.
IEEE Symposium on Security and Privacy
Ralf Küsters, Daniel Rausch
2017 J jnl
A Framework for Universally Composable Diffie-Hellman Key Exchange.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Daniel Rausch
2017 — conf
Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations.
E-VOTE-ID
Ralf Küsters, Johannes Müller
2017 J jnl
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines.
CoRR
Daniel Fett, Ralf Küsters, Guido Schmitz
2017 A conf
The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines.
CSF
Daniel Fett, Ralf Küsters, Guido Schmitz
2016 A* conf
A Comprehensive Formal Security Analysis of OAuth 2.0.
CCS
Daniel Fett, Ralf Küsters, Guido Schmitz
2016 J jnl
A Comprehensive Formal Security Analysis of OAuth 2.0.
CoRR
Daniel Fett, Ralf Küsters, Guido Schmitz
2016 A conf
Security Analysis of Re-Encryption RPC Mix Nets.
EuroS&P
Ralf Küsters, Tomasz Truderung
2016 A* conf
SoK: Verifiability Notions for E-Voting Protocols.
IEEE Symposium on Security and Privacy
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
2016 — conf
Universal Composition with Responsive Environments.
ASIACRYPT (2)
Jan Camenisch, Robert R. Enderlein, Stephan Krenn, Ralf Küsters, Daniel Rausch
2016 J jnl
Universal Composition with Responsive Environments.
IACR Cryptol. ePrint Arch.
Jan Camenisch, Robert R. Enderlein, Stephan Krenn, Ralf Küsters, Daniel Rausch
2016 J jnl
Verifiability Notions for E-Voting Protocols.
IACR Cryptol. ePrint Arch.
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
2016 A conf
sElect: A Lightweight Verifiable Remote Voting System.
CSF
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
2016 J jnl
sElect: A Lightweight Verifiable Remote Voting System.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
2015 A conf
A Hybrid Approach for Proving Noninterference of Java Programs.
CSF
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 J jnl
A Hybrid Approach for Proving Noninterference of Java Programs.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 — conf
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web.
ESORICS (1)
Daniel Fett, Ralf Küsters, Guido Schmitz
2015 A* conf
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web.
CCS
Daniel Fett, Ralf Küsters, Guido Schmitz
2015 J jnl
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web.
CoRR
Daniel Fett, Ralf Küsters, Guido Schmitz
2015 J jnl
Security Analysis of Re-Encryption RPC Mix Nets.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung
2014 A* conf
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System.
IEEE Symposium on Security and Privacy
Daniel Fett, Ralf Küsters, Guido Schmitz
2014 J jnl
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System.
CoRR
Daniel Fett, Ralf Küsters, Guido Schmitz
2014 J jnl
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web.
CoRR
Daniel Fett, Ralf Küsters, Guido Schmitz
2014 — ch.
E-Voting Systems.
Software Systems Safety
Ralf Küsters
2014 — conf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs.
POST
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
2014 J jnl
Extending and Applying a Framework for the Cryptographic Verification of Java Programs.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
2014 A* conf
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking.
IEEE Symposium on Security and Privacy
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2014 J jnl
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2014 J jnl
Security in e-voting.
it Inf. Technol.
Ralf Küsters, Tomasz Truderung
2013 J jnl
The IITM Model: a Simple and Expressive Model for Universal Composability.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Max Tuengerthal
2012 A conf
A Framework for the Cryptographic Verification of Java-Like Programs.
CSF
Ralf Küsters, Tomasz Truderung, Juergen Graf
2012 J jnl
A Framework for the Cryptographic Verification of Java-like Programs.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Juergen Graf
2012 J jnl
A game-based definition of coercion resistance and its applications.
J. Comput. Secur.
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2012 A* conf
Clash Attacks on the Verifiability of E-Voting Systems.
IEEE Symposium on Security and Privacy
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2012 J jnl
Clash Attacks on the Verifiability of E-Voting Systems.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2011 J jnl
Composition Theorems Without Pre-Established Session Identifiers.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Max Tuengerthal
2011 A* conf
Composition theorems without pre-established session identifiers.
CCS
Ralf Küsters, Max Tuengerthal
2011 B conf
Ideal Key Derivation and Encryption in Simulation-Based Security.
CT-RSA
Ralf Küsters, Max Tuengerthal
2011 — book
Moderne Kryptographie - Eine Einführung.
Ralf Küsters, Thomas Wilke
2011 J jnl
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach.
J. Autom. Reason.
Ralf Küsters, Tomasz Truderung
2011 J jnl
Security and Rewriting (Dagstuhl Seminar 11332).
Dagstuhl Reports
Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows
2011 A* conf
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.
IEEE Symposium on Security and Privacy
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2011 J jnl
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2011 J jnl
What's in an Attribute? Consequences for the Least Common Subsumer
CoRR
Alexander Borgida, Ralf Küsters
2010 C conf
A Formal Definition of Online Abuse-Freeness.
SecureComm
Ralf Küsters, Henning Schnoor, Tomasz Truderung
2010 A conf
A Game-Based Definition of Coercion-Resistance and Its Applications.
CSF
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2010 J jnl
Accountability: Definition and Relationship to Verifiability.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2010 A* conf
Accountability: definition and relationship to verifiability.
CCS
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2010 J jnl
Deciding strategy properties of contract-signing protocols.
ACM Trans. Comput. Log.
Detlef Kähler, Ralf Küsters, Thomas Wilke
2010 J jnl
Ideal Key Derivation and Encryption in Simulation-based Security.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Max Tuengerthal
2010 C conf
Proving Coercion-Resistance of Scantegrity II.
ICICS
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2010 J jnl
Proving Coercion-Resistance of Scantegrity II.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2009 J jnl
A Game-Based Definition of Coercion-Resistance and its Applications.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2009 J jnl
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols
CoRR
Ralf Küsters, Tomasz Truderung
2009 A* conf
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols.
SP
Ralf Küsters, Tomasz Truderung
2009 J jnl
Computational Soundness for Key Exchange Protocols with Symmetric Encryption.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Max Tuengerthal
2009 A* conf
Computational soundness for key exchange protocols with symmetric encryption.
CCS
Ralf Küsters, Max Tuengerthal
2009 — conf
Improving and Simplifying a Variant of Prêt à Voter.
VoteID
Ralf Küsters, Tomasz Truderung, Andreas Vogt
2009 A conf
Universally Composable Symmetric Encryption.
CSF
Ralf Küsters, Max Tuengerthal
2009 J jnl
Universally Composable Symmetric Encryption.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Max Tuengerthal
2009 A conf
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation.
CSF
Ralf Küsters, Tomasz Truderung
2008 J jnl
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption.
ACM Trans. Comput. Log.
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2008 J jnl
Conditional reactive simulatability.
Int. J. Inf. Sec.
Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
2008 A conf
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.
CSF
Ralf Küsters, Max Tuengerthal
2008 J jnl
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Max Tuengerthal
2008 J jnl
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).
Inf. Comput.
Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic
2008 J jnl
On the Relationships between Notions of Simulation-Based Security.
J. Cryptol.
Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan
2008 J jnl
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach
CoRR
Ralf Küsters, Tomasz Truderung
2008 A* conf
Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach.
CCS
Ralf Küsters, Tomasz Truderung
2007 A conf
A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.
ESORICS
Véronique Cortier, Ralf Küsters, Bogdan Warinschi
2007 J jnl
A Cryptographic Model for Branching Time Security Properties - the Case of Contract Signing Protocols.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Ralf Küsters, Bogdan Warinschi
2007 A* conf
Infinite State AMC-Model Checking for Cryptographic Protocols.
LICS
Detlef Kähler, Ralf Küsters, Tomasz Truderung
2007 — conf
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.
FSTTCS
Michael Backes, Markus Dürmuth, Ralf Küsters
2007 J jnl
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.
IACR Cryptol. ePrint Arch.
Michael Backes, Markus Dürmuth, Ralf Küsters
2007 A conf
On the Automatic Analysis of Recursive Security Protocols with XOR.
STACS
Ralf Küsters, Tomasz Truderung
2007 — conf
Selecting theories and nonce generation for recursive protocols.
FMSE
Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke
2007 J jnl
Transducer-based analysis of cryptographic protocols.
Inf. Comput.
Ralf Küsters, Thomas Wilke
2006 — conf
A Dolev-Yao-Based Definition of Abuse-Free Protocols.
ICALP (2)
Detlef Kähler, Ralf Küsters, Thomas Wilke
2006 — conf
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.
FSTTCS
Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
2006 J jnl
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
2006 A conf
Conditional Reactive Simulatability.
ESORICS
Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
2006 J jnl
Conditional Reactive Simulatability.
IACR Cryptol. ePrint Arch.
Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
2006 J jnl
Implementing a Unification Algorithm for Protocol Analysis with XOR
CoRR
Max Tuengerthal, Ralf Küsters, Mathieu Turuani
2006 J jnl
On the Relationships Between Notions of Simulation-Based Security.
IACR Cryptol. ePrint Arch.
Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
2006 — conf
Simulation-Based Security with Inexhaustible Interactive Turing Machines.
CSFW
Ralf Küsters
2006 J jnl
Simulation-Based Security with Inexhaustible Interactive Turing Machines.
IACR Cryptol. ePrint Arch.
Ralf Küsters
2005 J jnl
An NP decision procedure for protocol insecurity with XOR.
Theor. Comput. Sci.
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2005 B conf
Constraint Solving for Contract-Signing Protocols.
CONCUR
Detlef Kähler, Ralf Küsters
2005 A conf
Deciding Properties of Contract-Signing Protocols.
STACS
Detlef Kähler, Ralf Küsters, Thomas Wilke
2005 B conf
On the Relationships Between Notions of Simulation-Based Security.
TCC
Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
2005 J jnl
On the decidability of cryptographic protocols with open-ended data structures.
Int. J. Inf. Sec.
Ralf Küsters
2005 — ed.
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005
FMSE
Vijay Atluri, Pierangela Samarati, Ralf Küsters, John C. Mitchell
2005 J jnl
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.
Stud Logica
Ralf Küsters, Ralf Molitor
2004 A conf
Automata-Based Analysis of Recursive Cryptographic Protocols.
STACS
Ralf Küsters, Thomas Wilke
2004 — conf
Deciding the Security of Protocols with Commuting Public Key Encryption.
ARSPA@IJCAR
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2003 A* conf
An NP Decision Procedure for Protocol Insecurity with XOR.
LICS
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2003 — conf
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents.
FSTTCS
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2003 B conf
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions.
CSL
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
2003 B conf
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.
LPAR
Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
2003 — ch.
Extensions to Description Logics.
Description Logic Handbook
Franz Baader, Ralf Küsters, Frank Wolter
2002 — conf
Approximating ALCN-Concept Descriptions.
Description Logics
Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
2002 J jnl
Approximating most specific concepts in description logics with existential restrictions.
AI Commun.
Ralf Küsters, Ralf Molitor
2002 A* conf
Approximation and Difference in Description Logics.
KR
Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
2002 — conf
Deciding the First Level of the µ-Calculus Alternation Hierarchy.
FSTTCS
Ralf Küsters, Thomas Wilke
2002 B conf
On the Decidability of Cryptographic Protocols with Open-Ended Data Structures.
CONCUR
Ralf Küsters
2002 — conf
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles.
Description Logics
Franz Baader, Ralf Küsters
2001 — conf
Approximating Most Specific Concepts in Description Logics with Existential Restrictions.
KI/ÖGAI
Ralf Küsters, Ralf Molitor
2001 A* conf
Computing Least Common Subsumers in ALEN.
IJCAI
Ralf Küsters, Ralf Molitor
2001 A* conf
Matching under Side Conditions in Description Logics.
IJCAI
Franz Baader, Sebastian Brandt, Ralf Küsters
2001 — conf
Memoryless Determinacy of Parity Games.
Automata, Logics, and Infinite Games
Ralf Küsters
2001 — book
Non-Standard Inferences in Description Logics
Ralf Küsters
2001 — conf
Unification in a Description Logic with Transitive Closure of Roles.
Description Logics
Franz Baader, Ralf Küsters
2001 B conf
Unification in a Description Logic with Transitive Closure of Roles.
LPAR
Franz Baader, Ralf Küsters
2001 J jnl
What's in an Attribute? Consequences for the Least Common Subsumer.
J. Artif. Intell. Res.
Ralf Küsters, Alexander Borgida
2000 A* conf
Matching Concept Descriptions with Existential Restrictions.
KR
Franz Baader, Ralf Küsters
2000 A* conf
Rewriting Concepts Using Terminologies.
KR
Franz Baader, Ralf Küsters, Ralf Molitor
2000 — conf
What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases.
Description Logics
Alexander Borgida, Ralf Küsters
1999 A* conf
Computing Least Common Subsumers in Description Logics with Existential Restrictions.
IJCAI
Franz Baader, Ralf Küsters, Ralf Molitor
1999 — conf
Matching in Description Logics with Existential Restrictions.
Description Logics
Franz Baader, Ralf Küsters
1999 J jnl
Matching in Description Logics.
J. Log. Comput.
Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness
1998 A* conf
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata.
KR
Ralf Küsters
1998 Misc conf
Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions.
KI
Franz Baader, Ralf Küsters
1998 — conf
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies.
Description Logics
Franz Baader, Ralf Küsters
1998 — conf
Structural Subsumption Considered from an Automata-Theoretic Point of View.
Description Logics
Franz Baader, Ralf Küsters, Ralf Molitor
1997 — conf
Characterizing the semantics of terminological cycles with the help of finite automata.
Description Logics
Ralf Küsters