Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master : Axel Legay, Introduction au Model Checking, 36, M2, Université de Bretagne Sud, France

• Master : Axel Legay, Introduction à l'analyse de risques, M2, Université de Bretagne Sud, France

• Licence : Nisrine Jafri , Programmation Java, L3, l'ISTIC, Université Rennes 1, France

Supervision

• PhD in progress : Kevin Bukasa, Démarrage sécurisé, 2015, Jean-Louis Lanet and Axel Legay

• PhD in progress : Mounir Chadli (Rennes 1), On Scheduling and SMC, December 2014, Axel Legay and Saddek Bensalem.

• PhD in progress : Olivier Descourbe, On Code Obfuscation, October 2016, Axel Legay and Fabrizio Biondi.

• PhD in progress : Mike Enescu, On Symbolic Execution for Malware Detection, October 2016, Axel Legay, Flavio Oquendo and Fabrizio Biondi. Terminated on October 2017.

• PhD in progress : Alexandre Gonsalvez, On Obfuscation via crypto primitives, April 2016, Axel Legay and Caroline Fontaine.

• PhD in progress : Nisrine Jafri (Rennes1), On fault Injection detection with MC of Binary code, December 2015, Axel Legay and Jean-Louis Lanet.

• PhD in progress : Razika Lounas, Validation des spécifications formelles de la mise à jour dynamique des applications Java Card, 2010, Mohamed Mezghiche and Jean-Louis Lanet

• PhD in progress: Martin Moreau (Rennes1); On the study of post-quantum cryptography mechanisms (provisory), Axel Legay, Annelie Heuser and Sylvain Guilley

• PhD in progress : Routa Moussaileb, From Data Signature to Behavior Analysis, 2017, Nora Cuppens and Jean-Louis Lanet

• PhD in progress : Tristan Ninet (Rennes 1), Vérification formelle d’une implémentation de la pile protocolaire IKEv2, December 2016, Axel Legay, Romaric Maillard and Olivier Zendra

• PhD in progress: Lamine Nouredine (Rennes1); Developing new packing detection techniques to stop malware propagation, November 2017, Axel Legay and Annelie Heuser.

• PhD in progress : Aurélien Palisse, Observabilité de codes hostiles, 2015, Jean-Louis Lanet

• PhD in progress: Emmanuel Tacheau (Rennes1); Analyse et détection de malwares au moyen de méthodes d'analyse symbolique, September 2017, Axel Legay, Fabrizio Biondi, Alain Fiocco.

• PhD in progress : Aurélien Trulla, Caractérisation de malware Android par suivi de flux d’information et nouvelles techniques d’évasion, 2016, Valerie Viet Triem Tong and Jean-Louis Lanet

• PhD in progress: Alexander Zhdanov (Rennes 1): Modular Automated Syntactic Signature Extraction (MASSE), December 2017, Axel Legay, Fabrizio Biondi, François Déchelle and Olivier Zendra.

Juries

• Axel Legay was a referee for the PhD defense of Xavier Devroye (University of Namur Belgium)

• Axel Legay was a referee for the PhD defense of Quentin Cappart (University of Louvain Belgium)

• Axel Legay was a referee for the PhD defense of Stefan Naujokat (University of Dortmund, Germany)