Jean-Luc Danger |
Date de l'exposé : 16 mai 2014, 10h30-11h30, salle Petri/Turing
Architectures de FPGAs sécurisés face aux attaques physiques
Les FPGAs sont des circuits incontournables pour la conception de circuits prototypes et la production de systèmes embarqués rapides de petite série. Comme les circuits ASICs, ils sont sensibles aux attaques physiques visant à retrouver des données sensibles, comme un clé cryptographique. Ils subissent de plus des attaques via le canal de configuration. Les FPGAs du commerce ne sont pas correctement protégés contre toutes ces attaques. De plus il existe beaucoup d'inconnues dans la spécification, comme les détails d'interconnexion, ne permettant pas à l'utilisateur d'avoir un haut niveau de confiance dans ces FPGAS.Cet exposé présente des architectures de FPGAs personnalisés permettant d'augmenter la sécurité face aux attaques physiques.
Il traite notamment d'un FPGA réalisé dans la cadre du projet "SeFPGA" qui dispose d'une topologie arborescente et permet de greffer facilement des protections de type logique différentielle. les résultats d'analyse en attaque par canaux auxiliaires sont présentés et permettent d'apprécier la combinaison de la protection intrinsèque (la structure du FPGA) et extrinsèque (la logique différentielle utilisée par l'application cryptographique).