Nom : MALMAIN Romain Service : EURECOM - Digital Security Fonction : doctoral student Courriel : Romain.Malmain@eurecom.fr Bureau : 370 Thesis Foundations for practical full-system testing: efficient fuzzing and reliable symbolic execution