Name : MALMAIN Romain Service : EURECOM - Digital Security Function : doctoral student Email : romain.malmain@eurecom.fr Office : 370 Thesis Foundations for practical full-system testing: efficient fuzzing and reliable symbolic execution
