Die Verifikation von kryptographischen Sicherheitseigenschaften bildet das Hauptgebiet meiner Forschung. Hierbei verbinde ich meine Interesse für Kryptologie, Algebra, Zahlentheorie, Logiken und Beweistechniken, um für die Praxis relevante und gleichzeitig ganzheitliche Beweise für Sicherheitseigenschaften zu finden.