La personne a quitté EURECOM Nom : CORTEGGIANI Nassim Thesis Vers une analyse de la sécurité des systèmes embarqués à l'échelle du système