Ralf Küsters
Küsters applies rigorous models and proofs to security protocols and deployed system classes, linking formal security theory with issues such as web security and e-voting.
Ralf Küsters is professor and head of the Institute of Information Security at the University of Stuttgart. The institute’s research covers system security, web security, cryptography, protocol analysis, blockchains, and electronic voting.
Formal analysis for protocols
Küsters’ research uses formal methods to specify and analyze security properties in cryptographic and distributed protocols. The aim is to make claims about authentication, secrecy, privacy, and integrity amenable to precise checking.
From theory to high-stakes systems
His group’s topics include internet and web security, electronic voting, and distributed ledgers—areas where a vague assurance claim is insufficient and assumptions must be exposed.
Timeline
- 2000Completes a doctorate in computer science at RWTH Aachen.
- 2007Appointed professor of information security and cryptography at the University of Trier.
- 2017Founds and leads the Institute of Information Security at the University of Stuttgart.
- 2021Co-authors a formal security framework for distributed ledgers.
Ralf Küsters
- Type
- Person
- Era
- 1990s-Present
- Known for
- Formal security analysis; Cryptographic protocols; Electronic voting
- Tags
- formal-security, cryptographic-protocols, web-security, electronic-voting
Created by Joas A Santos · Something wrong or want it removed? Open an issue.