Levchin-Preis für Forschende des D-INFK

Professor David Basin ist seit 2003 Ordentlicher Professor an der ETH Z¨¹rich und forscht am Institut f¨¹r Informationssicherheit des D-INFK. Er promovierte an der Cornell University und war zuvor an der University of Edinburgh, am Max-Planck-Institut f¨¹r Informatik sowie an der Universit?t Freiburg t?tig. Seine Forschung konzentriert sich auf Methoden und Werkzeuge zur Entwicklung sicherer und zuverl?ssiger Informationssysteme. Professor Basin ist Herausgeber der Buchreihe ?Information Security and Cryptography¡° beim Springer-Verlag und war von 2015 bis 2020 Chefredaktor der ACM Transactions on Privacy and Security. Zudem war er Gr¨¹nder und Direktor des Zurich Information Security Center (ZISC) und ist Fellow der ACM und IEEE.
 

Dr. Ralf Sasse ist Dozent und Senior Scientist (Fokus Lehre) am Department Informatik der ETH Z¨¹rich. Seine Forschung liegt an der Schnittstelle von Informationssicherheit und formalen Methoden, insbesondere in der automatisierten Analyse von Sicherheitsprotokollen und der Entwicklung entsprechender Werkzeuge. Er promovierte in Informatik an der University of Illinois at Urbana-Champaign, wo er formale Methoden unter Jos¨¦ Meseguer studierte und arbeitete zuvor am KeY-Projekt, einer langfristigen Forschungsinitiative zur Entwicklung von Werkzeugen f¨¹r formale Software-Spezifikation und -Verifikation, an der Universit?t Karlsruhe. Bevor er als Dozent an die ETH Z¨¹rich kam, war er Postdoc und Senior Researcher in der Gruppe von Professor Basin.
 

Professor Cas Cremers ist derzeit Fakult?tsmitglied am CISPA Helmholtz-Zentrum f¨¹r Informationssicherheit. Er promovierte 2006 an der Technischen Universit?t Eindhoven. Von 2006 bis 2013 war er Postdoc, Senior Researcher und Dozent in David Basins Gruppe an der ETH Z¨¹rich. Anschliessend wurde er Ausserordentlicher Professor an der University of Oxford und 2015 zum Ordentlichen Professor f¨¹r Informationssicherheit ernannt. 2018 wechselte Cas Cremers zu CISPA. Seine Forschung konzentriert sich auf Informationssicherheit, die Analyse kryptografischer Protokolle und die Entwicklung formaler Verifikationswerkzeuge mit sowohl theoretischer als auch praktischer Relevanz.
 

Professor Jannik Dreier ist ausserordentlicher Professor an der Universit?t Lothringen, lehrt an der TELECOM Nancy und forscht im PESTO-Team am LORIA, dem Lothringer Forschungslabor f¨¹r Informatik und ihre Anwendungen. Zuvor war er Postdoktorand in der Gruppe von David Basin an der ETH Z¨¹rich. Jannik Dreier besch?ftigt sich mit Protokollsicherheit, formaler Verifizierung von Sicherheitsprotokollen, theoretischen Grundlagen wie Prozessalgebra und Umschreibung sowie datenschutzkonformen Berechnungen. Ausserdem ist er Co-Vorsitzender der CNRS-Arbeitsgruppe f¨¹r formale Methoden zur Sicherheit und Leiter des Departements f¨¹r formale Methoden am LORIA.