World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
35
Citations
4753
World Ranking
11769
National Ranking
581

Overview

Ralf Küsters is affiliated with the University of Stuttgart in Germany and specializes in Computer Science, with a particular focus on topics related to cryptography and data security. Their research contributions span multiple interconnected fields, including artificial intelligence, information systems, computer networks and communications, computer vision and pattern recognition, and computational theory and mathematics.

Their main research topics include:

  • Cryptography and Data Security
  • Advanced Authentication Protocols Security
  • Privacy-Preserving Technologies in Data
  • User Authentication and Security Systems
  • Internet Traffic Analysis and Secure E-voting
  • Blockchain Technology Applications and Security
  • Gaze Tracking and Assistive Technology

Küsters has authored a number of recent papers, covering foundational models and security analyses, including:

  • "The IITM Model: A Simple and Expressive Model for Universal Composability," 2020, Journal of Cryptology
  • "The IITM model: a simple and expressive model for universal composability," 2020, IACR Cryptology ePrint Archive
  • "Kryvos," 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
  • "Publicly Accountable Robust Multi-Party Computation," 2022, 2022 IEEE Symposium on Security and Privacy (SP)
  • "A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification," 2022, 2022 IEEE Symposium on Security and Privacy (SP)

Their research has appeared prominently in venues such as:

  • arXiv (Cornell University)
  • Journal of Cryptology
  • 2022 IEEE Symposium on Security and Privacy (SP)
  • Proceedings on Privacy Enhancing Technologies
  • Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security

Küsters has collaborated with several frequent co-authors, including:

  • Pascal Reisert
  • Daniel Rausch
  • Mayar Elfares
  • Pedram Hosseyni
  • Tim Würtele

In addition to articles, Küsters has contributed to book publications under Springer Science+Business Media, with titles such as "Progress in Cryptology - INDOCRYPT 2021" (2021) and "Electronic Voting" (2020).

Best Publications

  • An NP decision procedure for protocol insecurity with XOR

    Yannick Chevalier;Ralf Küsters;Michaël Rusinowitch;Mathieu Turuani

  • Computing Least Common Subsumers in Description Logics with Existential Restrictions

    Franz Baader;Ralf Kusters;Ralf Molitor

  • Accountability: Definition and Relationship to Verifiability.

    Ralf Küsters;Tomasz Truderung;Andreas Vogt

  • A Comprehensive Formal Security Analysis of OAuth 2.0

    Daniel Fett;Ralf Küsters;Guido Schmitz

  • Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach

    Ralf Küsters;Tomasz Truderung

  • Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

    Yannick Chevalier;Ralf Küsters;Michaël Rusinowitch;Mathieu Turuani

  • Non-standard inferences in description logics

    Ralf Küsters

  • Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation

    Ralf Küsters;Tomasz Truderung

  • Clash Attacks on the Verifiability of E-Voting Systems.

    Ralf Küsters;Tomasz Truderung;Andreas Vogt

  • SoK: Verifiability Notions for E-Voting Protocols

    Veronique Cortier;David Galindo;Ralf Kusters;Johannes Muller

  • Simulation-Based Security with Inexhaustible Interactive Turing Machines.

    Ralf Küsters

  • Approximation and difference in description logics

    Sebastian Brandt;Ralf Küsters;Anni-Yasmin Turhan

  • An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

    Daniel Fett;Ralf Küsters;Guido Schmitz

  • Matching in description logics

    Franz Baader;Ralf Küsters;Alexander Borgida;Deborah L. McGuinness

  • A game-based definition of coercion resistance and its applications

    Ralf Küsters;Tomasz Truderung;Andreas Vogt

  • The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

    Daniel Fett;Ralf Kusters;Guido Schmitz

  • Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions

    Franz Baader;Ralf Küsters

  • Extensions to description logics

    Franz Baader;Ralf Küsters;Frank Wolter

  • Rewriting concepts using terminologies

    Franz Baader;Ralf Küsters;Ralf Molitor

  • Unification in a Description Logic with Transitive Closure of Roles

    Franz Baader;Ralf Küsters

Frequent Co-Authors

Franz Baader
Franz Baader TU Dresden
Michael Backes
Michael Backes University of Oxford
Karthikeyan Bhargavan
Karthikeyan Bhargavan French Institute for Research in Computer Science and Automation - INRIA
Véronique Cortier
Véronique Cortier Centre national de la recherche scientifique, CNRS
Alexander Borgida
Alexander Borgida Rutgers, The State University of New Jersey
John C. Mitchell
John C. Mitchell Stanford University
Bogdan Warinschi
Bogdan Warinschi University of Bristol
Anupam Datta
Anupam Datta Carnegie Mellon University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

A background in Computer Science opens the door to various related fields, many of which now offer flexible, affordable online degrees. Exploring these pathways can help you specialize or diversify your skill set—even while balancing work or other commitments.

If you’re interested in combining technology with physical systems, an online degree for mechanical engineering offers hands-on skills in design and manufacturing. For those drawn to fundamental science with applications in computing, earning a physics degree online can be a powerful way to understand the principles behind hardware and emerging tech fields.

Data-driven roles are also booming. If quantitative analysis and big data excite you, the cheapest master in data science programs can help you advance without breaking the bank. Likewise, an online bachelor’s in electrical engineering is ideal if you want to work with electronics, robotics, or telecommunications.

These related degrees can expand your expertise and improve your career options—all from the convenience of online study.

Best Scientists Citing Ralf Küsters

Trending Scientists