Prof. Dr. Gilles Barthe

Prof. Dr. Gilles Barthe

Vita

Promotion 1993 in Mathematik an der Universität von Manchester, Großbritannien. Habilitation 2004 in Informatik an der Universität von Nizza, Frankreich. Gründungsdirektor des Max-Planck-Instituts für Sicherheit und Privatsphäre (MPI-SP) in Bochum. Seine Forschungsinteressen liegen in den Bereichen Programmiersprachen und Programmverifikation, Software- und Systemsicherheit, Kryptographie, formale Methoden und Logik. Sein Ziel ist die Entwicklung von Grundlagen und Werkzeugen zur Argumentation über Sicherheits- und Datenschutzeigenschaften von Algorithmen und Implementierungen. Seine jüngsten Arbeiten konzentrieren sich auf den Aufbau relationaler Verifikationsmethoden für probabilistische Programme und auf deren Anwendung in der Kryptographie und im Datenschutz. Er ist auch an nachweislich sicheren Gegenmaßnahmen gegen Seitenkanalangriffe interessiert.
Zur Redakteursansicht