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.
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…
