Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Stuttgart
Fakultät 5: Informatik, Elektrotechnik und Informationstechnik
Institut für Informationssicherheit

Adresse Universitätsstraße 38
70569 Stuttgart
Deutschland

GERiT Diese Institution in GERiT

70569 Stuttgart

Projekte

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

© 2024 DFG Kontakt / Impressum / Datenschutz