| Julien Francq |  |
 |
Date de l'exposé : 16 janvier 2015, 11h30-12h30, salle Petri/Turing
Advances in Hardware Trojans Detection Methods
Nowadays, for financial reasons, most of the Integrated Circuits (ICs) are designed, manufactured and tested in foreign countries. It is thus difficult to secure all the IC design flow: nothing can prevent from the insertion of any malicious and deliberate change to the IC (also called Hardware Trojans, HTs) that may cause unwanted effects and potentially damages in many sensitive applications (avionics, space, military devices, communication, industry, nuclear plants, etc.).This presentation proposes first to show a (very big) taxonomy of the different HTs of the literature. Then, we will detail the detection methods of the state-of-the-art with their limitations. Destructive HT detection methods mainly consist in reverse-engineering ICs before deployment, which is very costly and does not guarantee 100% detection rate. Moreover, non-destructive HT detection methods (logic test, side-channel analysis, etc.) have also to face challenges (process variation noise, measurement noise, low controllability and observability of nodes, etc.).
At the end of the talk, the speaker will show the first results of the French funded R&D project HOMERE (Hardware Trojans: Threats and Robustness of Integrated Circuits), which tries to progress beyond the state-of-the-art.
