À propos

Travail actuel

J'occupe actuellement un poste d'Ingénieur de Recherche avec mission d'enseignement (équivalent ATER) à l'École Centrale de Nantes (pour l'enseignement) et au LS2N (pour la recherche).

L'essentiel de mes enseignements s'inscrivent dans le cadre de la formation d'ingénieur de spécialité ITII-SEC (Systèmes Embarqués Communicants).

Pour ce qui est de la recherche, je m'intéresse actuellement à la théorie des jeux et en particulier aux jeux temporisés à coût. Des travaux sont en cours (en collaboration avec Didier Lime) et devraient bientôt paraître !

Post-doctorat (2022-2023)

J'ai eut l'opportunité de faire un post-doctorat d'un an en collaboration avec Kostis Sagonas et Bengt Jonsson à l'Université d'Uppsala. Ce travail s'est inscrit dans le projet aSSIsT qui s'intéresse aux problématiques de sécurité pour l'Internet des Objets.

Notre objectif est de trouver des vulnérabilités liées à la mémoire dans les implémentations de protocoles de communication (en particulier DTLS). Nous appliquons pour cela une technique de test appelé fuzzing, qui consiste à fournir des entrées aléatoires au système testé jusqu'à ce qu'un bug survienne.

Les protocoles de communication ont la particularité d'être (généralement) des machines à états. Nous exploitons cette particularité en guidant le fuzzing par une approche consciente des états du système. Tout d'abord, nous construisons une machine à états du système à l'aide de techniques d'apprentissage de modèles. Ensuite, nous générons des entrées permettant de placer le système dans chacun des états et nous commençons le fuzzing à partir de là. L'espoir est de découvrir des vulnérabilités qui serait spécifique à un état.

Ces travaux sont toujours en cours, mais devraient bientôt être publiés. Nous avons développé un fuzzer qui implémente notre méthode, appelé AFL-ML (basé sur AFLNet). Nous avons également développé un environnement expérimental stable (à l'aide de Docker) et un benchmark contenant plusieurs implémentations de DTLS et EDHOC, dans l'objectif de comparer notre approche aux outils de l'état de l'art.

Thèse de doctorat (2019-2022)

J'ai eut la chance de faire une thèse de doctorat, sous la direction de Olivier H. Roux, Mikaël Briday et Malek Ghanes au LS2N, École Centrale de Nantes. Ce travail a débuté en Octobre 2019, et s'est terminé en Novembre 2022.

L'objectif de cette thèse était d'être capable de générer automatiquement un circuit logique (décrit en VHDL) réalisant une commande décrite en Simulink, sur une cible FPGA. Le circuit engendré doit respecté des contraintes temporelles (chemin critique maximal) et des contraintes de ressources (unité logiques limités). Cette thèse fait partie de la chaire industrielle Renault - Centrale Nantes.

Ce travail propose de nouvelles méthodes pour l'optimisation de la synthèse de pipeline et pour permettre le pliage de circuits (ou le multiplexage temporel). Cela a également été l'occasion de contribuer dans le domaine des méthodes formelles. Nous avons été amenés à concevoir un nouveau modèle de réseau de Petri avec du temps, qui a pour spécificités d'avoir des transitions qui peuvent attendre pour tirer (delayable) et une exécution synchrone (sémantique du pas maximal). Après avoir longuement joué avec ce modèle, il s'est finalement avéré être intéressant en lui-même ! (quelques résultats rigolos d'expressivité ici)

Thèse de Master (2019)

J'ai pu travailler sous la direction de Didier Lime pendant ma thèse de master à LS2N, École Centrale de Nantes. Nous nous sommes intéressés aux Automates et Jeux temporisés à coût. Ceci nous a amené à construire un algorithme pour résoudre le problème d'accessibilité optimale dans les automates temporisés à coût, se basant sur une exploration symbolique en aarière.