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.
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.
On entend parler d’elle tous les jours, on peut même dire à toutes les sauces, un jour elle sauverait l’humanité le lendemain elle y mettrait fin, de qui ou quoi s’agit-il, il s’agit de l’intelligence artificielle. Pourrait-on faire un point sur une définition, son histoire et sa réalité actuelle et non fantasmée. D’ailleurs, certains parlent même de plusieurs niveaux d’intelligence artificielle. Pour y voir et entendre plus clair, j’ai demandé ses lumières à Nazim Fatès chargé de recherche Inria sur les systèmes complexes dans le laboratoire Loria, à Nancy…
