La personne a quitté EURECOM Nom : MUENCH Marius Thesis Nouvelles techniques de recherche de vulnérabilités dans les systèmes embarqués utilisant l'execution symbolique et concolique