Principles of Security and Privacy

Unsere Forschungsinteressen liegen in den Bereichen Programmiersprachen und Programmverifikation, Software- und Systemsicherheit, Kryptographie, formale Methoden und Logik. Unser Ziel ist die Entwicklung von Grundlagen und Werkzeugen zur Argumentation über Sicherheits- und Datenschutzeigenschaften von Algorithmen und Implementierungen. Unsere jüngsten Arbeiten konzentrieren sich auf den Aufbau relationaler Verifikationsmethoden für probabilistische Programme und auf deren Anwendung in der Kryptographie und im Datenschutz. Wir sind auch an nachweislich sicheren Gegenmaßnahmen gegen Seitenkanalangriffe interessiert.

Zur Redakteursansicht