Detailseite

Professor Dr. Ralf Küsters

Adresse Universität Stuttgart
Fakultät 5: Informatik, Elektrotechnik und Informationstechnik
Institut für Informationssicherheit
Universitätsstraße 38
70569 Stuttgart

Projekte

Als Antragsteller
- laufende Projekte
  - SSOme: Sicherheit moderner Single Sign-On Verfahren in einer vernetzten Welt (Sachbeihilfen)
  - CADL: Rechenschaftspflichtige Distributed Ledger - ein modularer Ansatz (Sachbeihilfen)
  - Post-Quanten-sichere verifizierbare Online-Wahlen mit vertraulichen Auszählungsergebnissen (Sachbeihilfen)
- abgeschlossene Projekte
  - Automatische Verifikation kryptographischer Protokolle (Forschungsstipendien)
  - Automatische Analyse kryptographischer Protokolle mit komplexen Nachrichtenformaten (Sachbeihilfen)
  - Formale und kryptographische Analyse von Protokollen mit spieltheoretischen Sicherheitsanforderungen (Sachbeihilfen)
  - Modulare kryptographische Analyse praktischer Sicherheitsprotokolle im simulationsbasierten Ansatz (Sachbeihilfen)
  - Sicherheitsanalyse von elektronischen Wahlsystemen auf der Implementierungsebene (Schwerpunktprogramme)
  - Ein werkzeugunterstütztes ausdrucksstarkes Modell für die Webinfrastruktur (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Ralf Küsters

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Ralf Küsters

Zusatzinformationen

Textvergrößerung und Kontrastanpassung