Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: Eurecom
Date de debut de thèse: 22 février 2018 Date soutenance de thèse: 20 novembre 2020 Directeur de thèse: Aurelien FRANCILLON (Eurecom) Sujet de thèse: Improving Software Security via Symbolic Execution
Date de debut de thèse: 22 février 2018 Date soutenance de thèse: 20 novembre 2020 Directeur de thèse: Aurelien FRANCILLON (Eurecom) Sujet de thèse: Improving Software Security via Symbolic Execution