ressi_2016

 

Avec le soutien de :

logo_bon_1.jpg logo_apsys.png
Tissage de code pour le suivi d'exécution de binaire destinés à l'informatique embarquée
Valentin Lefils  1@  
1 : Centre de Recherche en Informatique, Signal et Automatique de Lille  (CRIStAL)  -  Site web
Centre National de la Recherche Scientifique - CNRS, Université Lille I - Sciences et technologies, Ecole Centrale de Lille, Université Lille III - Sciences humaines et sociales
Bâtiment M3, Avenue Carl Gauss, Université Lille 1, 59655 Villeneuve d'Ascq Cedex FRANCE -  France

Mise en place d'une politique d'intégrité du flot de contrôle sur des systèmes embarqués. L'objectif est de se baser à la fois sur l'extraction par analyse statique d'un graphe de flot de contrôle et sur la mesure des temps d'exécution de chaque bloc de base. Le code à protéger est instrumenté afin de produire une trace de son exécution. Cette trace est ensuite comparée par un moniteur externe aux informations précédemment acquises afin de détecter d'éventuelles incohérences (rupture du flot de contrôle ou temps d'exécutions non conformes) qui pourraient induire l'existence d'une attaque en cours.



  • Autre
Personnes connectées : 1