Offres de postes
Je dispose fréquemment de financements pour des thèses et des stages de Master, et accepte donc les candidatures d'excellents étudiants pour des thèses (3 ans entièrement financées) et des stages de Master recherche. N'hésitez pas à me contacter si vous êtes intéressé par mes sujets de recherche.
Stage de recherche - Synthèse de paramètres pour l'analyse de propriétés d'opacité
Description :
Ce stage portera sur l'application de méthodes de vérification formelle à des problématiques de sécurité. L'étudiant travaillera sur la décidabilité des problèmes ainsi que sur l'implemtentation d'algorithmes pour la synthèse de paramètres garantissant des propriétés d'opacité dans des systèmes temporisés paramétrés.
Durée : à discuter
Lieu : LIP6, Sorbonne Université, Paris
Contact : Dylan Marinho (par email d'abord)
Financement de thèse - Extraction automatique des TTP d'un code binaire d'un programme
Description :
Ce sujet de thèse s'inscrit dans le thème général de la lutte contre les malwares, et plus particulièrement dans le domaine de l'analyse de codes binaires de programmes obfusqués avec une application directe, mais potentielle, à la détection de comportement suspect. L'objectif de cette thèse est d'extraire les tactiques, techniques et procédures (TTP) du code binaire d'un programme malveillant.
Durée : 3 ans
Lieu : LORIA, Nancy, France
Date limite de candidature: Mars 2026
Contact : Jean-Yves Marion, Dylan Marinho (par email d'abord)