Contribution à la conception de circuits intégrés sécurisés PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Contribution à la conception de circuits intégrés sécurisés PDF full book. Access full book title Contribution à la conception de circuits intégrés sécurisés by Ghislain Fraidy Bouesse. Download full books in PDF and EPUB format.
Author: Ghislain Fraidy Bouesse
Publisher:
ISBN:
Category :
Languages : fr
Pages : 178
Get Book Here
Book Description
Ce travail de thèse s'intègre dans le cadre du développement de nouvelles techniques de protection des circuits intégrés face aux attaques par analyse de courant en exploitant les propriétés de la logique asynchrone. En effet, ces attaques qui exploitent les faiblesses d'implémentation matérielle des composants cryptographiques pour retrouver des informations secrètes, sont parmi les attaques non intrusives les plus efficaces et les plus faciles à mettre en œuvre. Ainsi, nous proposons dans ces travaux l'utilisation de la logique asynchrone Quasi Insensible aux Délais (QDI) pour sécuriser les circuits intégrés contre ce type d'attaques. Les propriétés de la logique QDI apparaissent particulièrement intéressantes pour sécuriser l'implémentation des circuits intégrés car elles permettent de contrôler finement l'activité électrique. Le travail a porté dans un premier temps sur l'évaluation de la résistance des circuits asynchrones QDI. Les résultats obtenus montrent une nette amélioration du niveau de sécurité d'un circuit asynchrone par rapport à son équivalent synchrone, et permettent également d'identifier les limites de cette approche. Nous avons développé dans ces travaux, une méthode d'analyse formelle afin d'évaluer la sensibilité de la logique asynchrone QDI et présentons par la suite, de nouvelles contre-mesures exploitant la topologie de ces circuits. Cette étude a ainsi conduit à spécifier de nouvelles méthodologies de conception de circuits asynchrones sécurisés dans le but de pouvoir les intégrer dans la méthodologie automatisée TAST (TIMA Asynchronous Synthesis Tools).
Author: Ghislain Fraidy Bouesse
Publisher:
ISBN:
Category :
Languages : fr
Pages : 178
Get Book Here
Book Description
Ce travail de thèse s'intègre dans le cadre du développement de nouvelles techniques de protection des circuits intégrés face aux attaques par analyse de courant en exploitant les propriétés de la logique asynchrone. En effet, ces attaques qui exploitent les faiblesses d'implémentation matérielle des composants cryptographiques pour retrouver des informations secrètes, sont parmi les attaques non intrusives les plus efficaces et les plus faciles à mettre en œuvre. Ainsi, nous proposons dans ces travaux l'utilisation de la logique asynchrone Quasi Insensible aux Délais (QDI) pour sécuriser les circuits intégrés contre ce type d'attaques. Les propriétés de la logique QDI apparaissent particulièrement intéressantes pour sécuriser l'implémentation des circuits intégrés car elles permettent de contrôler finement l'activité électrique. Le travail a porté dans un premier temps sur l'évaluation de la résistance des circuits asynchrones QDI. Les résultats obtenus montrent une nette amélioration du niveau de sécurité d'un circuit asynchrone par rapport à son équivalent synchrone, et permettent également d'identifier les limites de cette approche. Nous avons développé dans ces travaux, une méthode d'analyse formelle afin d'évaluer la sensibilité de la logique asynchrone QDI et présentons par la suite, de nouvelles contre-mesures exploitant la topologie de ces circuits. Cette étude a ainsi conduit à spécifier de nouvelles méthodologies de conception de circuits asynchrones sécurisés dans le but de pouvoir les intégrer dans la méthodologie automatisée TAST (TIMA Asynchronous Synthesis Tools).
Author: Laurent Guilbert (ingénieur électronicien).)
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: Alexandre Richard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 127
Get Book Here
Book Description
Author: Laurent Guilbert
Publisher:
ISBN:
Category :
Languages : fr
Pages : 292
Get Book Here
Book Description
Le travail présenté dans ce document porte sur la réalisation de trois logiciels dans le domaine de la conception assistée par ordinateur de circuits intégrés. L'éditeur graphique généralisé permettant la conception de circuits imprimés, de circuits integrés numériques et de circuits intégrés analogiques. Un vérificateur de garde autorisant la vérification de schémas constitués de segments à angle quelconque. Un extracteur de schémas permettant une extraction fine en vue d'une simulation précise des chemins critiques. Cet ensemble de logiciels, construit autour d'une base de données unique, et une optimisation des algorithmes et structures de données permet de porter nos produits sur des équipements de type micro-ordinateurs
Author: Edith Kussener-Combier
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Jean-Baptiste Duluc
Publisher:
ISBN:
Category :
Languages : fr
Pages : 195
Get Book Here
Book Description
LA DENSITE D'INTEGRATION CROISSANTE ET LE PERFECTIONNEMENT DES LOGICIELS DE CONCEPTION ASSISTEE PAR ORDINATEUR PERMETTENT DE REALISER DES CIRCUITS DE PLUS EN PLUS COMPLEXES. POUR OBTENIR DES CIRCUITS FIABLES ET CONFORMES A DES SPECIFICATIONS, ON DISTINGUE EN MICROELECTRONIQUE DEUX ETAPES ESSENTIELLES : LA FABRICATION ET LA CONCEPTION. CES DEUX ETAPES SONT DE PLUS EN PLUS ASSUJETTIES A DES OBJECTIFS DE RENDEMENT, DE RAPIDITE DE MISE EN UVRE, DE QUALITE, DE FIABILITE ET DE COUT D'EXECUTION. LE PREMIER AXE DE RECHERCHE EST ORIENTE VERS LA MAITRISE ET LA DIMINUTION DES FLUCTUATIONS TECHNOLOGIQUES. DANS CE CADRE, NOUS PROPOSONS UNE METHODOLOGIE ORIGINALE PERMETTANT DE METTRE EN EVIDENCE LES ETAPES CRITIQUES DE FABRICATION. CETTE METHODOLOGIE SE DECOMPOSE EN TROIS TEMPS. DANS UN PREMIER TEMPS, LES PARAMETRES ELECTRIQUES SONT RELIES AUX DONNEES TECHNOLOGIQUES GRACE A UNE ETUDE THEORIQUE, ENSUITE UNE ETUDE DES CORRELATIONS ENTRE LES PARAMETRES ELECTRIQUES EST MENEE. ENFIN, LE RECOUPEMENT DES INFORMATIONS ISSUES DES DEUX POINTS PRECEDENTS PERMET D'ISOLER L'ETAPE CRITIQUE QUI ENGENDRE LE PLUS DE FLUCTUATIONS. NOUS PROPOSONS UN LOGICIEL METTANT EN PRATIQUE CETTE METHODOLOGIE. LE DEUXIEME AXE DE RECHERCHE EST ORIENTE VERS L'ESTIMATION DES FLUCTUATIONS DES PERFORMANCES DES CIRCUITS. NOUS PROPOSONS UNE ETUDE EXPERIMENTALE DE METHODES STATISTIQUES PERMETTANT DE CONSTRUIRE UNE BASE DE DONNEES REDUITE, REPRESENTATIVE DE LA DISTRIBUTION DES PARAMETRES ELECTRIQUES. NOUS AVONS ETABLI DES CRITERES D'EVALUATION PERMETTANT D'ISOLER LA MEILLEURE BASE DE DONNEES REDUITE QUI FOURNIT LE PIRE CAS, LE MEILLEUR CAS ET LA DISTRIBUTION DES PERFORMANCES. L'ORIGINALITE DE CETTE ETUDE RESIDE DANS SON APPROCHE EXPERIMENTALE APPLIQUEE A LA CONCEPTION DES CIRCUITS ELECTRIQUES DANS TOUTE SON ETENDUE. POUR MENER A BIEN CETTE ETUDE NOUS AVONS DEFINI DES CIRCUITS DANS LES DOMAINES ANALOGIQUES, NUMERIQUES ET MIXTES ET REALISE CHAQUE CIRCUIT ELECTRIQUE SELON DEUX ARCHITECTURES DIFFERENTES.
Author: Bertrand Folco
Publisher:
ISBN:
Category :
Languages : fr
Pages : 163
Get Book Here
Book Description
Les travaux présentés dans cette thèse portent sur le développement d’une méthodologie de conception de circuits asynchrones Quasi Insensibles aux Délais (QDI) et son application à des circuits sécurisés. Contrairement aux circuits synchrones, les circuits asynchrones se caractérisent par l’absence de signal d’horloge. Ces circuits sont séquencés par un mécanisme de communication et de synchronisation local. En plus des nombreuses propriétés des circuits asynchrones telles que la robustesse, une faible consommation, un faible bruit et une excellente modularité, les propriétés de la logique QDI apparaissent également particulièrement intéressantes pour sécuriser l’implantation des circuits intégrés contre les attaques par analyse de courant. Cependant, le manque de méthode et d’outil de conception est un frein à leur adoption. C’est dans ce contexte que se situe ce travail de thèse, qui contribue au développement d’un outil de conception de circuits asynchrones développé au laboratoire TIMA : TAST.
Author: Serge Noraz
Publisher:
ISBN:
Category :
Languages : fr
Pages : 141
Get Book Here
Book Description
Les techniques utilisées pour la réalisation de systèmes électroniques destines au contrôle/commande d'applications critiques sont généralement basées sur le concept de la logique fail-safe conventionnelle. Bien qu'elles aient été largement éprouvées, ces techniques s'avèrent maintenant de plus en plus mal adaptées à la conception de systèmes de plus en plus complexes puisqu'elles font appel à des composants discrets spécifiques. C'est dans ce contexte que cette étude essaie d'évaluer la contribution des circuits intégrés autotestables, et plus spécialement les circuit self-checking (capables de détecter instantanément leurs propres erreurs), à la réalisation de systèmes intégrés à haute sureté de fonctionnement. Les travaux présentés dans cette thèse se proposent d'élargir la théorie des systèmes fail-safe aux circuits intégrés combinatoires. Comme application, nous étudions la faisabilité d'une interface autotestable hors-ligne capable de transformer les données des circuits autotestables en-ligne (self-checking) en signaux surs adaptes au pilotage d'éléments électrons mécaniques. Cette interface autorise la réalisation de circuits Vlsi strongly fail-safe qui sont susceptibles, dans les années à venir, de tenir une place de premier ordre dans le domaine des automatismes intégrés de sécurité. Toutes les considérations pratiques pour la conception de ces circuits sont basées sur des hypothèses de pannes analytiques liées à la technologie utilisée, ici le CMOS
Author: Sai͏̈d Kaddour
Publisher:
ISBN:
Category :
Languages : fr
Pages : 92
Get Book Here
Book Description
Author: Jean-Paul Caisso
Publisher:
ISBN:
Category : Integrated circuits
Languages : fr
Pages : 0
Get Book Here
Book Description
