PhD & PostDoc Tutorships

   

Current Thesis

  • Baptiste David PhD Thesis. “Conception, implementation et test d’outils de collecte, d’analyse et de manipulation de l’information à grande échelle dans les réseaux sociaux. Application à l’analyse et à la modélisation des interactions au sein du noyau Windows (Design, Implementation and Testing of Tools Dedicated to Large-scale Data Collecting, Analysis and Manipulation on Social Networks. Application to the Analysis and Modelling of Windows Kernel Interactions)”. Ecole doctorale SMI de l’ENSAM. Viva scheduled in December 2021.
  • Maxence Delong PhD Thesis. “Security Analysis of the TOR Network and New Design of Anonimity Network”. Ecole doctorale SMI de l’ENSAM. Viva scheduled in October 2022.

Year 2019

  • Joanna Moubarak PhD Thesis. “Formalization, Implementation and testing of New Undetectable Viral Algorithms. Université Saint-Joseph,”. Saint Joseph University, Beirut, Lebanon. Defended on October 31st, 2019.

Year 2018

  • Paul Irolla PhD Thesis. “Formalisation et application des réseaux de neurones à la sécurisation d’applications mobiles (Formalization and Application of Neural Networks to Mobile Apps Security Analysis and Strengthening)”. Laboratoire de cryptologie et de virologie opérationnelles. Ecole doctorale BioSignes; Université; Paris-Sud. Soutenance le 10 décembre 2018. Pdf.

Year 2017

  • Michel Dubois PhD Thesis. “Conception, développement et analyse de systèmes d’équations booléennes décrivant les algorithmes de chiffrement et de déchiffrement de l’Advanced Encryption Standard”. Laboratoire de cryptologie et de virologie opérationnelles. École doctorale SMI de l’ENSAM, soutenance le 24 juillet 2017.
  • Cecilia Gallais PhD Thesis. “Formalisation en analyse algébrique/combinatoire de scénarii d’attaque généralisés (Formalization and Algebraic/combinatorial Analysis of Generalized Attack Scenarii)”. Laboratoire de cryptologie et de virologie opérationnelles. Ecole doctorale SMI de l’ENSAM. Soutenance le 18 décembre 2017.
  • Arnaud Bannier. “Combinatorial Analysis of Block Ciphers with Trapdoors”. Laboratoire de cryptologie et de virologie opérationnelles. Ecole doctorale SMI de l’ENSAM. Soutenance le 29 septembre 2017. PDF file.

Year 2015

  • Jonathan Dechaux PhD Thesis. “Formalisation, Implémentation et tests d’une méthodologie et des techniques d’évaluation de logiciels antivirus. Application aux virus de documents”. Laboratoire de cryptologie et de virologie opérationnelles. École doctorale de l’École Polytechnique, soutenance 18 décembre 2015. Pdf.

Year 2014

  • Eddy Deligne PhD Thesis. “Hyperviseur de protection d’exécutables. Étude, développement et discussion”. Laboratoire de cryptologie et de virologie opérationnelles. École doctorale de l’École Polytechnique, defended on March 31st, 2014. Thèse CIFRE confidentielle Industrie/DCNS.

Year 2013

  • Christophe Grenier Ph D Thesis. “Transformation de programmes et protection de la propriété intellectuelle - Préparation, Intégration et Vérification”. Laboratoire de cryptologie et de virologie opérationnelles. École doctorale de l’École Polytechnique, defended on October 1st, 2013. Thèse CIFRE confidentielle Industrie/DCNS.
  • Nicolas Bodin Ph D Thesis. “Conception et analyse d’algorithmes stéganographiques opérationnels”. Laboratoire de cryptologie et de virologie opérationnelles. École doctorale de l’École Polytechnique, defended on August 28th, 2013. Thèse confidentielle DR/SF.

Year 2011

  • Dr Bhume Bhumiratana (postdoc). “Formalization of Code Mutation Techniques With Formal Grammars”. King Monkut University of Technology, Bangkok, Thailande, ESIEA.
  • Tom Austin (postdoc). “Detection of Malware by Means of Hidden Markov Models”. University of Santa Cruz, California, USA, ESIEA.
  • Jean-Marie Borello Ph D Thesis. “Étude du métamorphisme viral: modélisation, conception et détection (Study of computer viruses metamorphism: modelling, design and detection)”. Laboratoire de cryptologie et de virologie opérationnelles (co-encadrée//co-tutored /avec//with/ Ludovic Mé, Supélec). École doctorale de l’université de Rennes I. Defended on April 1st , 2011. PDF File (in French)

Year 2009

  • Sébastien Josse Ph D Thesis. “Analyse et détection dynamique de code viraux dans un contexte cryptographique (et application à l’évaluation de logiciel antivirus)/Analysis and dynamic detection of malware in a cryptographic context (Application to the evaluation of AV Software)”. Laboratoire de virologie et de cryptologie opérationnelles. Ecole doctorale de l’Ecole Polytechnique, defended on April 10th, 2009. PDF File.
  • Grégoire Jacob Ph D Thesis. “Malware Behavioral Models: bridging abstract and operational virology”. Laboratoire de virologie et de cryptologie opérationnelles. Ecole doctorale de l’université de Rennes, defended on December 14th, 2009. PDF file and Viva slides

Year 2007

  • Johann Barbier Ph D Thesis. “Analyse de canaux de communication dans un contexte non coopératif/(Analysis of communication channels in a non cooperative context)”. Laboratoire de virologie et de cryptologie opérationnelles. Ecole doctorale de l’Ecole Polytechnique, defended on November 28th, 2007. PDF file.