Évaluation par simulation de la sécurité des circuits face aux attaques par faute

• Main Author: Faurax, Olivier
• Language: FRE
• Published: Université de la Méditerranée - Aix-Marseille II 2008
• Subjects: [INFO] Computer Science; [SPI:NANO] Engineering Sciences/Micro and nanotechnologies/Microelectronics; DFA; attaque par faute; sécurité; informatique; cryptographie; microélectronique; simulation; AES; carte à puce
• Online Access: http://tel.archives-ouvertes.fr/tel-00368222; http://tel.archives-ouvertes.fr/docs/00/36/82/22/PDF/ofaurax-these.pdf; http://tel.archives-ouvertes.fr/docs/00/36/82/22/ANNEX/presentation-ofaurax-these.pdf

Les circuits microélectroniques sécuritaires sont de plus en plus présents dans notre quotidien (carte à puce, carte SIM) et ils renferment des informations sensibles qu'il faut protéger (numéro de compte, clé de chiffrement, données personnelles).<br /> Récemment, des attaques sur les algorithmes de cryptographie basées sur l'utilisation de fautes ont fait leur apparition. L'ajout d'une faute lors d'un calcul du circuit permet d'obtenir un résultat faux. À partir d'un certain nombre de résultats corrects et de résultats faux correspondants, il est possible d'obtenir des informations secrètes et dans certains cas des clés cryptographiques complètes.<br /> Cependant, les perturbations physiques utilisées en pratique (impulsion laser, radiations, changement rapide de la tension d'alimentation) correspondent rarement aux types de fautes nécessaires pour réaliser ces attaques théoriques.<br /> Dans ce travail, nous proposons une méthodologie pour tester les circuits face aux attaques par faute en utilisant de la simulation. L'utilisation de la simulation permet de tester le circuit avant la réalisation physique mais nécessite beaucoup de<br />temps. C'est pour cela que notre méthodologie aide l'utilisateur à choisir les fautes les plus importantes pour réduire significativement le temps de simulation.<br /> L'outil et la méthodologie associée ont été testés sur un circuit cryptographique (AES) en utilisant un modèle de faute utilisant des délais. Nous avons notamment montré que l'utilisation de délais pour réaliser des fautes permet de générer des fautes correspondantes à des attaques connues.