Université de Rennes Étude de vulnérabilité d'un programme au format binaire en présence de fautes précises et nombreuses Vulnerability assessment of a binary program in the presence of numerous and precise faults Attaque par injection de fautesMulti-fauteAnalyse statique Fault Injection AttackMulti-FaultStatic Analysis Systèmes informatiques -- Mesures de sûreté Logiciels -- Vérification Tolérance aux fautes (informatique) Les attaques multi-fautes permettent de compromettre la sécurité d'applications prouvées théoriquement robustes, et cela, malgré l'intégration de mécanismes de sécurité. L'évaluation de sécurité pour ce type d'attaque comporte une analyse du programme pour déterminer des vulnérabilités puis une campagne d'injection de fautes sur du matériel. Cependant, considérer plusieurs fautes lors de l'analyse reste un problème ouvert en raison de la taille de l'espace des états fautés à explorer. Ce document vise à étudier les techniques d'évaluation de la sécurité contre des attaques multi-fautes. D'abord, nous explorons faisabilité d’une méthode de détermination de vulnérabilités basée exclusivement sur l’analyse statique. Ensuite, nous étudions une méthode d'identification des paramètres d'injection de fautes afin de faciliter la réalisation de campagne. Des expérimentations ont été menées sur des programmes d'évaluation de code PIN comportant diverses contre-mesures logicielles. Les résultats démontrent l'efficacité de notre approche, avec des attaques comportant jusqu'à huit fautes impactant plus de 80 instructions. Multi-fault attacks can compromise the security of applications proven as theoretically robust, despite the integration of security mechanisms. The security evaluation for this type of attack involves a program analysis to determine vulnerabilities, followed by a hardware fault injection campaign. However, considering multiple faults during the analysis remains an open problem due to the size of the fault space to explore. This document studies techniques for evaluating the security against multifault attacks. First, we explore the feasibility of a vulnerability determination method based exclusively on static analysis. Secondly, we investigate a method for identifying fault injection parameters to facilitate campaign realisation. Experiments have been carried out on PIN evaluation programs involving various software countermeasures. The results demonstrate the effectiveness of our approach, with attacks involving up to eight faults impacting more than 80 instructions. Electronic Thesis or DissertationText fr application/pdf1 : 6161 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/6a922802-3d89-4fc8-998d-48657c38a856 Gicquel Antoine 1998-03-16 FR 282935290 antoine.gicquel@mailoo.org 2024URENS059 http://www.theses.fr/2024URENS059 2024-12-12 Informatique Université de Rennesthesis.degree.grantor_1 26693823X Doctorat non ouiRohouErvenintervenant_1135287065HeydemannKarineintervenant_2082986762DutertreJean-Maxintervenant_3071544240RohouErvenintervenant_1135287065BouffardGuillaumeintervenant_5181982110RohouErvenintervenant_6135287065HardyDamienintervenant_7149302916LapôtreVianneyintervenant_4176951911PotetMarie-Laureintervenant_8034097600 MATISSEecoleDoctorale_1 267602553 INRIA-RENNES partenaireRecherche_1 133175863 ddc:004 RohouErvenHeydemannKarineDutertreJean-MaxLapôtreVianneyBouffardGuillaumeRohouErvenHardyDamienPotetMarie-LaureUniversité de RennesMATISSE INRIA-RENNES ASCII PDF 6308748