Forschung

Beweisbare Sicherheit und Security Reductions:
Entwicklung und Analyse kryptographischer Sicherheitsbeweise, insbesondere enger (tight) und speichereffizienter (memory-tight) Security Reductions.

Post-Quanten-Kryptographie:
Theoretische Sicherheitsanalyse post-quanten-sicherer kryptographischer Verfahren, insbesondere Key-Encapsulation-Mechanismen (KEMs) und Sicherheitsbeweise im Quanten-Random-Orakel-Modell (QROM).

Sichere Kommunikationsprotokolle:
Entwicklung und Analyse von Sicherheitsmodellen und -beweisen für kryptographische Kommunikationsprotokolle, insbesondere Schlüsselaustauschprotokolle, passwortbasierte Authentisierung und sichere Messaging-Protokolle.

Grundlagen der Public-Key-Kryptographie:
Untersuchung grundlegender kryptographischer Primitive wie Public-Key-Verschlüsselung und digitaler Signaturen sowie ihrer mathematischen Sicherheitsgarantien.