Toutes nos félicitations à Emmanuel Hainry, Romain Péchoux (Mocqua), Jean-Yves Marion (Carbone) et Bruce Kapron (Université de Victoria, Canada), qui ont obtenu le prix EATCS du meilleur article à ETAPS 2022 (European Joint Conférence on Theory and Practice of Software).
Nos vies numériques sont régies par un grand nombre de protocoles informatiques qui garantissent la sécurité des échanges de données, comme le standard EMV (European Mastercard Visa) pour les transactions bancaires ou le protocole TLS (Transport Layer Security) qui assure la sécurisation des échanges sur Internet. Jannik Dreier, enseignant-chercheur à Telecom Nancy et à l’Université de Lorraine, membre de l’équipe PESTO, commune à Inria et au Loria, travaille à débusquer les failles de ces protocoles. Il avance dans ces labyrinthes cryptographiques avec un outil précieux : le logiciel Tamarin.
Le prochain colloquium du Loria aura lieu le jeudi 30 juin à 13h30 dans l’amphithéâtre du Loria.
Nous aurons le plaisir d’accueillir Sihem Amer Yahia, directrice de recherche CNRS, médaille d’argent CNRS et directrice adjointe du LIG, avec un exposé en anglais intitulé « AI-Powered Data-Driven Education ».
Systèmes d’information, objets connectés, systèmes industriels… ces environnements font face à des attaques informatiques de plus en plus fréquentes et sophistiquées.
Véronique Cortier et Pierrick Gaudry, tous deux directeurs de recherche CNRS au Loria (CNRS, Inria, Université de Lorraine), font paraître le 25 mai l’ouvrage « Le vote électronique. Les défis du secret et de la transparence« , aux Éditions Odile Jacob, avec une préface de Gérard Berry.
