Etude et modélisation de circuits résistants aux attaques non intrusives par injection de fautes - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2007

Study and modelling of secure circuits against non invasive fault injection attacks

Etude et modélisation de circuits résistants aux attaques non intrusives par injection de fautes

Résumé

New hardware cryptanalysis methods such as fault-based attacks have shown their efficiency to break cryptosystems. This work is focused on the development of new techniques and tools that enable the design of robust circuits against fault injection attacks (Differential Fault Analysis: DFA). The study and the design of resistant asynchronous circuits against these attacks are particularly addressed. We first specify a faults sensitivity evaluation of asynchronous circuits. Then, hardening techniques are proposed in order to improve circuits resistance and tolerance. Practical results are evaluated on asynchronous cryptographic circuits using a laser beam fault injection system. These results validate both the theoretical analysis and the hardening techniques, and confirm that asynchronous technology is an efficient solution to design secure systems.
Le domaine de la cryptanalyse a été marqué ces dernières années par la découverte de nouvelles classes d'attaques, dont font partie les attaques par injection de fautes. Le travail de thèse vise à développer des outils et des techniques destinés à rendre les circuits robustes face aux attaques par injection de fautes (Differential Fault Analysis : DFA). On s'intéresse en particulier à étudier la modélisation et la conception de circuits asynchrones résistants à ces attaques. Le travail porte dans un premier temps sur l'analyse de la sensibilité aux fautes de ces circuits, puis sur le développement de contre-mesures visant à améliorer leur résistance et leur tolérance. Les résultats sont évalués en pratique sur des circuits cryptographiques asynchrones par une méthode d'injection de fautes par laser. Ces résultats valident les analyses théoriques et les contre-mesures proposées, et confirment l'intérêt des circuits asynchrones pour la conception de systèmes sécurisés.
Fichier principal
Vignette du fichier
sms_0254.pdf (1.87 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00163817 , version 1 (18-07-2007)

Identifiants

  • HAL Id : tel-00163817 , version 1

Citer

Y. Monnet. Etude et modélisation de circuits résistants aux attaques non intrusives par injection de fautes. Micro et nanotechnologies/Microélectronique. Institut National Polytechnique de Grenoble - INPG, 2007. Français. ⟨NNT : ⟩. ⟨tel-00163817⟩

Collections

UGA CNRS TIMA
171 Consultations
792 Téléchargements

Partager

Gmail Facebook X LinkedIn More