EFBW

PhD & PostDoc Tutorships

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.

Baptiste David PhD Thesis. “New trends in offensive, low level-based computer security”. Ecole doctorale SMI de l’ENSAM. Defended on December 7^th, 2021. Pdf. Lien Serveur thèses.

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

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.

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.

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.

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 31^st, 2014. Thèse CIFRE confidentielle Industrie/DCNS.

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 1^st, 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 28^th, 2013. Thèse confidentielle DR/SF.

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 1^st , 2011. PDF File (in French)

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 10^th, 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 14^th, 2009. PDF file and Viva slides

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 28^th, 2007. PDF file.