Le professeur David Basin nommé IEEE Fellow
Le professeur David Basin (D-INFK) a été nommé IEEE Fellow pour ses contributions aux méthodes formelles de sécurité de l'information. La prestigieuse classification IEEE Fellow est attribuée aux personnes qui ont fait preuve d'excellence dans un domaine pertinent pour l'IEEE.
Chaque année, le comité des Fellows de l'IEEE nomme un groupe sélectionné de personnes qui deviennent des Fellows de l'IEEE. En novembre 2020, le comité de l'IEEE a finalement élevé le professeur David Basin au rang d'IEEE Fellow. Cette distinction récompense ses vastes travaux de recherche dans le domaine des méthodes formelles de la sécurité de l'information. Le titre de membre de l'IEEE est considéré comme un accomplissement professionnel important.
Le professeur Basin a développé avec ses collaborateurs plusieurs outils de pointe pour la vérification des modèles de protocoles de sécurité : OFMC, AVISPA et Tamarin. Le dernier outil en date, Tamarin, est basé sur un solveur de contraintes symboliques avancé. Il a une communauté d'utilisateurs dans le monde entier et a été utilisé pour trouver des bugs dans des procès-verbaux critiques tels que le protocole d'authentification des entités ISO/IEC 9798, les protocoles d'accord de clé de groupe et dans le développement de normes plus récentes comme le protocole Signal, la version 1.3 de TLS et la norme 5G actuelle.
En outre, Basin a développé le concept de "sécurité pilotée par les modèles" (model-driven security) et a construit des outils permettant de concevoir et de valider des systèmes critiques pour la sécurité d'une manière centrée sur les modèles. Les développeurs précisent les modèles de système en même temps que leurs exigences de sécurité. Et les outils génèrent automatiquement des systèmes à partir des modèles, y compris des infrastructures de sécurité complètes et configurées. Ce travail a finalement donné naissance à un nouveau domaine de recherche qui englobe les bases, les méthodes et les outils pour le développement dirigé par des modèles d'applications critiques pour la sécurité.
? propos du professeur David Basin
Le professeur David Basin est chef du Département d'informatique et professeur à l'Institut de sécurité de l'information, où il dirige le groupe de sécurité de l'information. Ses recherches se concentrent sur la sécurité de l'information, en particulier sur les bases, les méthodes et les outils pour la modélisation, la construction et la validation de systèmes s?rs et fiables. En 2018, il a été nommé ACM Fellow pour ses contributions à la sécurité de l'information et aux méthodes formelles. Il est également le directeur fondateur du ZISC (Zürcher Zentrum für Informationssicherheit), qu'il a dirigé de 2003 à 2011.
? propos de l'IEEE
L'IEEE est la première association professionnelle mondiale pour les technologies avancées au service de l'humanité. Avec plus de 400 000 membres dans 160 pays, l'association joue un r?le central dans des domaines aussi variés que les systèmes aéronautiques et spatiaux, l'informatique et les télécommunications, le génie biomédical, l'énergie électrique et l'électronique grand public. L'IEEE publie 30 % de la littérature mondiale dans les domaines de l'électrotechnique, de l'électronique et de l'informatique et a développé plus de 1300 normes industrielles actives. site externePlus de