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.

Security-Oriented Differential Analysis of Binary Updates

Internship

Description :

L'objectif de ce stage est d'analyser les différences entre les versions binaires d'un programme pour identifier les modifications potentiellement dangereuses.

Durée : 6 mois

Lieu : LIP6, Sorbonne Université, Paris

Contact : Yann Thierry-Mieg, Dylan Marinho (par email d'abord)

Offres passées

Cybersécurité des Systèmes Temps Réels

Thèse

Extraction automatique des TTP d'un code binaire d'un programme

Thèse

Synthèse de paramètres pour l'analyse de propriétés d'opacité

Stage

Chaîne open-source pour la vérification de programmes C

Stage