Ralf Küsters

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 63

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

IEEE Symposium on Security and Privacy

CCS

Publications

Pedram Hosseyni, Ralf Küsters, Tim Würtele
Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process. IACR Cryptol. ePrint Arch. 2024 (2024)
Sebastian Hasler, Pascal Reisert, Marc Rivinius, Ralf Küsters
Multipars: Reduced-Communication MPC over Z2k. Proc. Priv. Enhancing Technol. 2024 (2) (2024)
Mayar Elfares, Pascal Reisert, Zhiming Hu, Wenwu Tang, Ralf Küsters, Andreas Bulling
PrivatEyes: Appearance-based Gaze Estimation Using Federated Secure Multi-Party Computation. Proc. ACM Hum. Comput. Interact. 8 (ETRA) (2024)
Mayar Elfares, Pascal Reisert, Zhiming Hu, Wenwu Tang, Ralf Küsters, Andreas Bulling
PrivatEyes: Appearance-based Gaze Estimation Using Federated Secure Multi-Party Computation. CoRR (2024)
Mike Graf, Ralf Küsters, Daniel Rausch
AUC: Accountable Universal Composability. SP (2023)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in $\textsf {DY}^\star $. ESORICS (3) (2023)
Carmen Wabartha, Julian Liedtke, Nicolas Huber, Daniel Rausch, Ralf Küsters
Fully Tally-Hiding Verifiable E-Voting for Real-World Elections with Seat-Allocations. ESORICS (1) (2023)
Marc Rivinius, Pascal Reisert, Sebastian Hasler, Ralf Küsters
Convolutions in Overdrive: Maliciously Secure Convolutions for MPC. IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Hasler, Pascal Reisert, Marc Rivinius, Ralf Küsters
Multipars: Reduced-Communication MPC over Z2k. IACR Cryptol. ePrint Arch. 2023 (2023)
Marc Rivinius, Pascal Reisert, Sebastian Hasler, Ralf Küsters
Convolutions in Overdrive: Maliciously Secure Convolutions for MPC. Proc. Priv. Enhancing Technol. 2023 (3) (2023)
Sebastian Hasler, Toomas Krips, Ralf Küsters, Pascal Reisert, Marc Rivinius
Overdrive LowGear 2.0: Reduced-Bandwidth MPC without Sacrifice. IACR Cryptol. ePrint Arch. 2023 (2023)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in DY$^\star$. IACR Cryptol. ePrint Arch. 2023 (2023)
Mike Graf, Ralf Küsters, Daniel Rausch, Simon Egger, Marvin Bechtold, Marcel Flinspach
Accountable Bulletin Boards: Definition and Provably Secure Implementation. IACR Cryptol. ePrint Arch. 2023 (2023)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. ESORICS (3) (2023)
Pascal Reisert, Marc Rivinius, Toomas Krips, Ralf Küsters
Overdrive LowGear 2.0: Reduced-Bandwidth MPC without Sacrifice. AsiaCCS (2023)
Carmen Wabartha, Julian Liedtke, Nicolas Huber, Daniel Rausch, Ralf Küsters
Fully Tally-Hiding Verifiable E-Voting for Real-World Elections with Seat-Allocations. IACR Cryptol. ePrint Arch. 2023 (2023)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. IACR Cryptol. ePrint Arch. 2023 (2023)
Pascal Reisert, Marc Rivinius, Toomas Krips, Ralf Küsters
Arithmetic Tuples for MPC. IACR Cryptol. ePrint Arch. 2022 (2022)
Mayar Elfares, Zhiming Hu, Pascal Reisert, Andreas Bulling, Ralf Küsters
Federated Learning for Appearance-based Gaze Estimation in the Wild. CoRR (2022)
Mayar Elfares, Zhiming Hu, Pascal Reisert, Andreas Bulling, Ralf Küsters
Federated Learning for Appearance-based Gaze Estimation in the Wild. Gaze Meets ML (2022)
Daniel Rausch, Ralf Küsters, Céline Chevalier
Embedding the UC Model into the IITM Model. EUROCRYPT (2) (2022)
Mike Graf, Ralf Küsters, Daniel Rausch
AUC: Accountable Universal Composability. IACR Cryptol. ePrint Arch. 2022 (2022)
Marc Rivinius, Pascal Reisert, Daniel Rausch, Ralf Küsters
Publicly Accountable Robust Multi-Party Computation. IACR Cryptol. ePrint Arch. 2022 (2022)
Daniel Rausch, Ralf Küsters, Céline Chevalier
Embedding the UC Model into the IITM Model. IACR Cryptol. ePrint Arch. 2022 (2022)
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt
Kryvos: Publicly Tally-Hiding Verifiable E-Voting. IACR Cryptol. ePrint Arch. 2022 (2022)
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IEEE Symposium on Security and Privacy (2022)
Nicolas Huber, Ralf Küsters, Toomas Krips, Julian Liedtke, Johannes Müller, Daniel Rausch, Pascal Reisert, Andreas Vogt
Kryvos: Publicly Tally-Hiding Verifiable E-Voting. CCS (2022)
Marc Rivinius, Pascal Reisert, Daniel Rausch, Ralf Küsters
Publicly Accountable Robust Multi-Party Computation. IEEE Symposium on Security and Privacy (2022)
Bernhard Beckert, Jurlind Budurushi, Armin Grunwald, Robert Krimmer, Oksana Kulyk, Ralf Küsters, Andreas Mayer, Jörn Müller-Quade, Stephan Neumann, Melanie Volkamer
Recent Developments in the Context of Online Elections and Digital Polls in Germany. Sicherheit (2022)
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, Raphael 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
Intelligent Methods for Test and Reliability. DATE (2022)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
A Tutorial-Style Introduction to DY*. Protocols, Strands, and Logic (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. CCS (2021)
Christoph Egger, Mike Graf, Ralf Küsters, Daniel Rausch, Viktoria Ronge, Dominique Schröder
A Security Framework for Distributed Ledgers. IACR Cryptol. ePrint Arch. 2021 (2021)
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IACR Cryptol. ePrint Arch. 2021 (2021)
Mike Graf, Daniel Rausch, Viktoria Ronge, Christoph Egger, Ralf Küsters, Dominique Schröder
A Security Framework for Distributed Ledgers. CCS (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. EuroS&P (2021)
Fabian Hertel, Nicolas Huber, Jonas Kittelberger, Ralf Küsters, Julian Liedtke, Daniel Rausch
Extending the Tally-Hiding Ordinos System: Implementations for Borda, Hare-Niemeyer, Condorcet, and Instant-Runoff Voting. IACR Cryptol. ePrint Arch. 2021 (2021)
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt
Ordinos: A Verifiable Tally-Hiding E-Voting System. IACR Cryptol. ePrint Arch. 2020 (2020)
Ralf Küsters, Max Tuengerthal, Daniel Rausch
Joint State Composition Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. J. Cryptol. 33 (4) (2020)
Ralf Küsters, Daniel Rausch, Mike Simon
Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric. IACR Cryptol. ePrint Arch. 2020 (2020)
Mike Graf, Ralf Küsters, Daniel Rausch
Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric. EuroS&P (2020)
Ralf Küsters, Max Tuengerthal, Daniel Rausch
The IITM Model: A Simple and Expressive Model for Universal Composability. J. Cryptol. 33 (4) (2020)
Ralf Küsters, Julian Liedtke, Johannes Müller, Daniel Rausch, Andreas Vogt
Ordinos: A Verifiable Tally-Hiding E-Voting System. EuroS&P (2020)
Daniel Fett, Pedram Hosseyni, Ralf Küsters
An Extensive Formal Security Analysis of the OpenID Financial-grade API. CoRR (2019)
Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch
iUC: Flexible Universal Composability Made Simple. ASIACRYPT (3) (2019)
Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch
iUC: Flexible Universal Composability Made Simple. IACR Cryptol. ePrint Arch. 2019 (2019)
Jan Camenisch, Ralf Küsters, Anna Lysyanskaya, Alessandra Scafuro
Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042). Dagstuhl Reports 9 (1) (2019)
Daniel Fett, Pedram Hosseyni, Ralf Küsters
An Extensive Formal Security Analysis of the OpenID Financial-Grade API. IEEE Symposium on Security and Privacy (2019)
Ralf Küsters, Daniel Rausch
A Framework for Universally Composable Diffie-Hellman Key Exchange. IEEE Symposium on Security and Privacy (2017)
Daniel Fett, Ralf Küsters, Guido Schmitz
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines. CoRR (2017)
Ralf Küsters, Daniel Rausch
A Framework for Universally Composable Diffie-Hellman Key Exchange. IACR Cryptol. ePrint Arch. 2017 (2017)
Daniel Fett, Ralf Küsters, Guido Schmitz
The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines. CSF (2017)
Ralf Küsters, Johannes Müller
Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations. E-VOTE-ID (2017)
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. CSF (2016)
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. IACR Cryptol. ePrint Arch. 2016 (2016)
Daniel Fett, Ralf Küsters, Guido Schmitz
A Comprehensive Formal Security Analysis of OAuth 2.0. CCS (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
SoK: Verifiability Notions for E-Voting Protocols. IEEE Symposium on Security and Privacy (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
Verifiability Notions for E-Voting Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
Ralf Küsters, Tomasz Truderung
Security Analysis of Re-Encryption RPC Mix Nets. EuroS&P (2016)
Jan Camenisch, Robert R. Enderlein, Stephan Krenn, Ralf Küsters, Daniel Rausch
Universal Composition with Responsive Environments. ASIACRYPT (2) (2016)
Daniel Fett, Ralf Küsters, Guido Schmitz
A Comprehensive Formal Security Analysis of OAuth 2.0. CoRR (2016)
Jan Camenisch, Robert R. Enderlein, Stephan Krenn, Ralf Küsters, Daniel Rausch
Universal Composition with Responsive Environments. IACR Cryptol. ePrint Arch. 2016 (2016)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptol. ePrint Arch. 2015 (2015)
Daniel Fett, Ralf Küsters, Guido Schmitz
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. ESORICS (1) (2015)
Daniel Fett, Ralf Küsters, Guido Schmitz
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. CCS (2015)
Daniel Fett, Ralf Küsters, Guido Schmitz
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. CoRR (2015)
Ralf Küsters, Tomasz Truderung
Security Analysis of Re-Encryption RPC Mix Nets. IACR Cryptol. ePrint Arch. 2015 (2015)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. CSF (2015)
Daniel Fett, Ralf Küsters, Guido Schmitz
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System. IEEE Symposium on Security and Privacy (2014)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. IEEE Symposium on Security and Privacy (2014)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. IACR Cryptol. ePrint Arch. 2014 (2014)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. IACR Cryptol. ePrint Arch. 2014 (2014)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. POST (2014)
Ralf Küsters, Tomasz Truderung
Security in e-voting. it Inf. Technol. 56 (6) (2014)
Daniel Fett, Ralf Küsters, Guido Schmitz
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System. CoRR (2014)
Daniel Fett, Ralf Küsters, Guido Schmitz
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web. CoRR (2014)
Ralf Küsters, Max Tuengerthal
The IITM Model: a Simple and Expressive Model for Universal Composability. IACR Cryptol. ePrint Arch. 2013 (2013)
Ralf Küsters, Tomasz Truderung, Juergen Graf
A Framework for the Cryptographic Verification of Java-Like Programs. CSF (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Clash Attacks on the Verifiability of E-Voting Systems. IACR Cryptol. ePrint Arch. 2012 (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
A game-based definition of coercion resistance and its applications. J. Comput. Secur. 20 (6) (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Clash Attacks on the Verifiability of E-Voting Systems. IEEE Symposium on Security and Privacy (2012)
Ralf Küsters, Tomasz Truderung, Juergen Graf
A Framework for the Cryptographic Verification of Java-like Programs. IACR Cryptol. ePrint Arch. 2012 (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. IACR Cryptol. ePrint Arch. 2011 (2011)
Ralf Küsters, Max Tuengerthal
Composition theorems without pre-established session identifiers. CCS (2011)
Ralf Küsters, Max Tuengerthal
Ideal Key Derivation and Encryption in Simulation-Based Security. CT-RSA (2011)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. IEEE Symposium on Security and Privacy (2011)
Ralf Küsters, Tomasz Truderung
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. J. Autom. Reason. 46 (3-4) (2011)
Ralf Küsters, Max Tuengerthal
Composition Theorems Without Pre-Established Session Identifiers. IACR Cryptol. ePrint Arch. 2011 (2011)
Hubert Comon-Lundh, Ralf Küsters, Catherine A. Meadows
Security and Rewriting (Dagstuhl Seminar 11332). Dagstuhl Reports 1 (8) (2011)
Alexander Borgida, Ralf Küsters
What's in an Attribute? Consequences for the Least Common Subsumer CoRR (2011)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Accountability: definition and relationship to verifiability. CCS (2010)
Ralf Küsters, Max Tuengerthal
Ideal Key Derivation and Encryption in Simulation-based Security. IACR Cryptol. ePrint Arch. 2010 (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Proving Coercion-Resistance of Scantegrity II. IACR Cryptol. ePrint Arch. 2010 (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Accountability: Definition and Relationship to Verifiability. IACR Cryptol. ePrint Arch. 2010 (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
A Game-Based Definition of Coercion-Resistance and Its Applications. CSF (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Proving Coercion-Resistance of Scantegrity II. ICICS (2010)
Detlef Kähler, Ralf Küsters, Thomas Wilke
Deciding strategy properties of contract-signing protocols. ACM Trans. Comput. Log. 11 (3) (2010)
Ralf Küsters, Henning Schnoor, Tomasz Truderung
A Formal Definition of Online Abuse-Freeness. SecureComm (2010)
Ralf Küsters, Tomasz Truderung
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation. CSF (2009)

Ralf Küsters.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ralf Küsters