Intervenants

Keynotes

Gregory Blanc

Biographie: Gregory a obtenu un doctorat en sécurité informatique du Nara Institute of Science and Technologie (Japon) dans le domaine de l’analyse des scripts malveillants dans les navigateurs Web, en 2012. Il a ensuite rejoint le laboratoire SAMOVAR (Télécom SudParis) en tant que chercheur postdoctoral et a contribué au montage et au pilotage de projets collaboratifs européens tels que NECOMA (projet européen-japonais), Depuis 2015, il est maître de conférences en sécurité et réseaux à Télécom SudParis et coordonne des activités de recherche collaborative dans des projets européen. Récemment, il coordonne le projet ANR GRIFIN dans lequel il explore les apports de l'apprentissage automatique pour rendre la boucle de sécurité autonomique afin d'améliorer la résilience des réseaux du futur : monitoring, détection, sélection de contremesures, déploiement des politiques de sécurité.

Estelle Pawlowsky

Biographie: Estelle Pawlowski is an associate professor at ENSICAEN (Ecole Nationale Supérieure d'Ingénieurs de Caen) and is a member of the GREYC laboratory. She received her PhD from Lorraine INP in 2006 and her HDR from University de Caen Normandie in 2021. Her research interests focus on biometric authentication, through the key issues of security, usability and privacy. She is also interested in graph machine learning in socio-transactional graphs. She is currently DPO (Data Protection Officer) at ENSICAEN.

Olivier Blazy

Biographie: Olivier Blazy est professeur à l'Ecole Polytechnique. Il a fait son doctorat sur les preuves à divulgation nulle de conaissance, et les preuves implicites. Ses thématiques de recherce couvre la cryptographie postquantique (avec des propositions de standard au NIST), les protocoles d'échanges de clés authentifiés et l'usage de la cryptographie pour la protection de la vie privée. Récemmment, il s'est intéressé à la sécurité des messageries sécurisées, et a travaillé avec la CNIL sur la thématique de la vérification de l'âge en ligne.

Sébastien Bardin

Biographie: Sébastien Bardin est chercheur sénior au CEA LIST, où il a créé et dirige aujourd'hui le groupe d'analyse de sécurité au niveau binaire. Ses intérêts de recherche se situent au carrefour des méthodes formelles, de l'analyse de programmes, du raisonnement automatisé, du génie logiciel et de la sécurité. Depuis quelques années, Sébastien s'intéresse à l'automatisation de l'analyse de sécurité au niveau binaire en développant des méthodes formelles développées pour l'industrie critique en matière de sécurité, avec des applications à l'analyse de vulnérabilité, au reverse, au désobscurcissement et à la protection du code. Il se concentre particulièrement sur l'exécution symbolique, et est le principal concepteur de la plateforme open source BINSEC pour l'analyse de code au niveau binaire.

Samuel Rouxel

Biography: Samuel ROUXEL holds a PhD in Electonic and Industrial Computing from the Université Bretagne Sud since 2006. After a short post-doctorate in Lab-STICC CNRS research laboratory, he joined CRESITT Industrie in 2007.
Today electronics projet leader, he is specialized in embedded electronic systems. He masters hardware conception of electronics board, software development of firmware for microcontroller, microprocessor, and SOC. He also know how to implement and use GNU Linux on microcontroller.  He worked on several technology of communication and protocoles.  Since cybersecurity element became inescapable in electronic solutions, he is also interested in this subject and is working on monitoring and testing solutions and regulations.

CRESITT: CRESITT Industrie has been created in 1996 as a non profit organization. They are a Technological Center specialised in Electronics, Secured Wireless Embedded systems & Instrumentation. With their Research & Technologies laboratory and their measurement platform, they support manufacturer in their electronic developments and assist them in their innovative and technological projects on two main themes : wireless electronic systems and instrumentation.

Cours

Benjamin Nguyen

Biographie: Benjamin Nguyen est Professeur à l'INSA Centre Val de Loire depuis 2014. Il a obtenu son doctorat à l'Université de Paris-Sud en 2003. Ses intérêts de recherche portent sur les techniques de gestion des données préservant la confidentialité, en ce moment avec un accent particulier sur les techniques d'anonymisation et de réidentification. Il a été directeur du Laboratoire d'Informatique Fondamentale d'Orléans (LIFO, EA 4022) de 2016 à 2022, et membre du directoire de l'INSA Centre Val de Loire de 2015 à 2019.

Adel Hafiane

Biographie:  Adel Hafiane a obtenu un master en systèmes embarqués et traitement de l'information et un doctorat de l'Université de Paris-Saclay, en 2002 et 2005 respectivement. Il s'est ensuite lancé dans l'enseignement et la recherche, passant une année à Paris-Saclay, puis une autre année à l'INSA Centre Val de Loire (INSA CVL). Il a été postdoctorant au département d'informatique de l'université du Missouri de 2007 à 2008. Adel Hafiane est depuis 2008 maître de conférence  à l'INSA CVL. Il est responsable du groupe Image et Vision au sein du laboratoire PRISME de l'Université d'Orléans et de l'INSA CVL. Il a été chercheur invité à l'Université du Missouri à plusieurs reprises, de 2009 à 2013. Ses recherches portent sur la théorie et les méthodes d'apprentissage automatique et de vision par ordinateur pour différentes applications. Il a coordonné plusieurs projets de recherche et coécrit plus de 90 articles et 3 brevets.

Challenges et Travaux Pratiques

Sara Taki

Biographie: Sara Taki est Ingénieure de Recherche à l'INSA Centre Val de Loire, Laboratoire LIFO, équipe de recherche Sécurité des Systèmes et des Données. Elle a obtenu son doctorat en Informatique à l'INSA Centre Val de Loire en 2023. Ses recherches portent sur la confidentialité des données pour les bases de données sous forme de graphes, en particulier la confidentialité différentielle sur les graphes RDF. Elle est titulaire d'un master en systèmes d'information et en intelligence de données de l'Université du Liban.

Nancy Awad

Biography: Nancy Awad is a lecturer at the University of Franche-Comté, conducting research with the OMNI team at the FEMTO-ST laboratory. Her research interests include privacy preservation and programmable matter.

Jérémy Briffaut

Biographie: Jeremy Briffaut est Maître de Conférences à l’INSA CVL et membre de l’équipe de recherche Sécurité des Données et des Systèmes du Laboratoire d’Informatique Fondamentale d’Orléans. Il a été responsable de l'option Sécurité des Systèmes Ubiquitaires de 2011 à 2022 et est Directeur du Département Sécurité et Technologie Informatique depuis 2021. Ses thématiques de recherche concernent la sécurité système, les systèmes embarqués et les blockchains.

Frédéric Recoules

Biographie: Frédéric Recoules est diplômé de l'INSA et de l'Université Toulouse Paul-Sabatier en 2016, et d'un doctorat en informatique de l'Université Grenoble-Alpes en 2021. Son domaine d'expertise couvre les méthodes formelles, la programmation bas niveau, la décompilation et l'ingénierie inverse. Il a notamment obtenu un prix d'article distingué ICSE et un 2ème prix de doctorat GDR GPL (thématique : génie logiciel, méthodes formelles et langages de programmation) pour ses travaux sur la vérification formelle du code assembleur en ligne. Il est actuellement Ingénieur de Recherche au CEA où il est le développeur principal de la plateforme d'analyse de programmes au niveau binaire BINSEC. Ses recherches portent sur les problèmes d'évolutivité dans l'analyse symbolique au niveau binaire, l'analyse de vulnérabilité et l'ingénierie inverse pour la sécurité.

Yanis Sellami

Biographie: Yanis Sellami is a permanent researcher at CEA/LIST LSL, Paris-Saclay Univ. since December, 2023, where he works on the BINSEC symbolic execution engine on analyses for fault injection and side channel attacks as well and on the use of abduction techniques for symbolic execution. He was previously at CEA/LIST LFIM in Grenoble where he worked on the application of formal methods for the automatic characterization of fault injection attacks vulnerabilities. Before that, he was PhD in the Laboratory of Informatics of Grenoble under the supervision of N. Peltier and M. Echenim, where he worked on the design and implementation of automated theory-agnostic abduction algorithm and their applications. His topics of interest include formal verification of programs, symbolic execution, fault injection and side-channel attacks, logics and automated reasoning.