Faculty

Gilles Barthe

Die Forschungsinteressen von Gilles Barthe 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. Er promovierte 1993 in Mathematik an der Universität von Manchester, Grossbritannien, und habilitierte sich 2004 in Informatik an der Universität von Nizza, Frankreich.

Asia Biega

Asia J. Biega ist Tenure-Track-Mitglied am MPI-SP und leitet die Responsible Computing-Gruppe. Ihre Forschung konzentriert sich auf die Entwicklung, Untersuchung und rechnerische Operationalisierung von Prinzipien des Responsible Computing, der Datenethik und des Datenschutzes. Bevor sie zum MPI-SP kam, war Asia als Postdoktorandin bei Microsoft Research Montréal in der Fairness, Accountability, Transparency, and Ethics in AI (FATE) Group tätig. Sie schloss ihre Promotion in Informatik am MPI für Informatik und am MPI für Softwaresysteme ab und gewann den DBIS Dissertationspreis der Gesellschaft für Informatik. In ihrer Arbeit arbeitet Asia interdisziplinär und profitiert dabei von ihrer traditionellen Informatik-Ausbildung und ihrer Industrieerfahrung, unter anderem bei Microsoft und Google.

Marcel Böhme

Marcel Böhme ist Tenure-Track-Mitglied und Leiter der Forschungsgruppe Software-Sicherheit. Zuvor war er Senior Lecturer an der Monash University in Australien und PostDoc am TSUNAMi Security Research Centre in Singapur und am CISPA-Helmholtz Zentrum in Deutschland. Marcel erhielt seinen Doktortitel von der Nationalen Universität Singapur. Sein Forschungsinteresse gilt der automatischen Entdeckung von Softwarefehlern und Sicherheitsmängeln in sehr großem Maßstab. Ein Teil seiner Gruppe entwickelt die Grundlagen des automatischen Softwaretests (ein Ansatz zum Auffinden von Fehlern durch die automatische Generierung von Ausführungen), um die grundlegenden Grenzen bestehender Techniken zu ergründen und die Sicherheit zu untersuchen, die Softwaretests bieten, wenn keine Fehler gefunden werden. Der andere Teil seiner Gruppe entwickelt praktische Tools zur Entdeckung von Schwachstellen, die öffentlich zugänglich sind und in der Praxis der Softwaresicherheit weit verbreitet sind.

Cătălin Hrițcu

Cătălin Hrițcu ist Leiter der Gruppe "Formally Verified Security" am MPI-SP. Er interessiert sich besonders für formale Methoden der Sicherheit (sichere Kompilierung, Kompartimentierung, Speichersicherheit, Sicherheitsprotokolle, Informationsfluss), Programmiersprachen (Programmverifikation, Proof-Assistenten, abhängige Typen, formale Semantik, mechanisierte Metatheorie, eigenschaftsbasiertes Testen) und den Entwurf und die Verifikation sicherheitskritischer Systeme (Referenzmonitore, sichere Kompilierungsketten, getaggte Architekturen). Er erhielt einen ERC Starting Grant für formal sichere Kompilierung und ist auch aktiv an der Gestaltung des F*-Verifikationssystems beteiligt. Catalin hat an der Universität des Saarlandes promoviert, sich an der ENS Paris habilitiert und war zuvor auch als Tenured Researcher bei Inria Paris, als Postdoctoral Research Associate an der University of Pennsylvania und als Visiting Researcher bei Microsoft Research Redmond tätig.

Giulio Malavolta

Giulio Malavolta ist Forscher mit Tenure-Track am MPI-SP. Er interessiert sich umfassend für die Theorie der Kryptographie und ihre Verbindungen zur Quantenberechnung, zu konkurrierenden Systemen, Kryptowährungen und Spieltheorie. Seine jüngsten Arbeiten konzentrieren sich auf die Konstruktion kryptographischer Schemata mit fortgeschrittenen Funktionalitäten und auf die Suche nach neuen Anwendungen für Systeme des realen Lebens.

Giulio ist derzeit Postdoc mit einer gemeinsamen Berufung an die UC Berkeley und die Carnegie Mellon University. Im Herbst 2019 war er Forschungsstipendiat am Simons Institute for the Theory of Computing. Seinen Doktortitel schloss er 2019 an der Friedrich-Alexander-Universität ab.

Christof Paar

Christof Paar ist Mitglied des Max-Planck-Instituts und außerordentlicher Professor an der University of Massachusetts Amherst. Seine Forschung liegt auf dem Gebiet der eingebetteten Sicherheit. Seine Gruppe arbeitet derzeit an Hardware-Trojanern, technischen und kognitiven Aspekten des (Hardware-)Reverse Engineering, der Sicherheit der physischen Schicht und der Sicherheit von cyber-physikalischen Systemen. Er ist einer der Sprecher des Exzellenzclusters CASA - Cyber Security in the Age of Large-Scale Adversaries.
Vor seiner Tätigkeit am MPI war Christof an der Ruhr-Universität Bochum (2001-2019) und am WPI in Massachusetts (1995-2001) tätig. Die akademischen Jahre 2008/09 und 2014 - 2016 verbrachte er als Forschungsprofessor an der UMass Amherst. Er promovierte 1994 am Institut für Experimentelle Mathematik der Universität Essen im Fach Ingenieurwissenschaften.

Peter Schwabe

Peter Schwabe ist Tenure-Track-Mitglied am MPI-SP. Er ist zudem Professor am Institut für Informatik und Informationswissenschaften der Radboud Universität, Nijmegen (NL). Seine Forschung liegt auf dem Gebiet der Kryptographie, insbesondere dem Entwurf und der sicheren Implementierung von kryptographischen Primitiven. Er arbeitet derzeit hauptsächlich an der Post-Quanten-Kryptographie, d.h. an kryptographischen Primitiven, die auf Standard-Hardware laufen, aber selbst gegen Angreifer, die mit einem großen universellen Quantencomputer ausgestattet sind, sicher bleiben. Für diese Arbeit zur Entwicklung der Post-Quanten-Kryptographie erhielt er einen ERC Starting Grant. Peter interessiert sich auch für die Hochsicherheitskryptographie, ein Gebiet, das Techniken und Werkzeuge aus den Bereichen formale Methoden und Forschung über kryptographische Software zusammenführt, um die Qualität der kryptographischen Systeme zu verbessern, die wir täglich zum Schutz unserer digitalen Werte einsetzen.

Research Group Leaders

Clara Schneidewind

Clara Schneidewind ist Forschungsgruppenleiterin am MPI-SP. In ihrer Forschung erarbeitet sie Lösungen für die sinnvolle, sichere, ressourcenschonende und Privatsphäre wahrende Nutzung von Blockchaintechnologien.

Eines der Hauptziele ihrer Forschung ist es, die entwickelten Lösungen mit starken theoretischen Grundlagen zu untermauern um so das hohe Maß an Verlässlichkeit zu gewährleisten, das in der Anwesenheit finanzieller Anreize notwendig ist. Zu diesem Zweck nutzt sie Techniken aus den Bereichen der Programmanalyse, Protokollverifikation und Kryptographie.

Clara hat ihre Promotion 2021 an der Technischen Universität Wien abgeschlossen. Im Frühjahr 2019 absolvierte sie einen Forschungsaufenthalt an der University of Pennsylvania.