Nom : MALMAIN Romain Service : EURECOM - Digital Security Fonction : doctoral student Courriel : Romain.Malmain@eurecom.fr Bureau : 370 Thesis Analysing Low-level Software by leveraging Fuzzing and Symbolic Execution techniques