• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 75
  • 24
  • 17
  • Tagged with
  • 115
  • 115
  • 47
  • 32
  • 30
  • 27
  • 26
  • 25
  • 24
  • 24
  • 23
  • 23
  • 20
  • 19
  • 18
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Injections électromagnétiques : développement d’outils et méthodes pour la réalisation d’attaques matérielles. / EM injections into Secure Devices

Poucheret, François 23 November 2012 (has links)
Les attaques en fautes consistent à perturber le fonctionnement d'un circuit intégré afin d'accéder à des informations confidentielles. Ce type d'attaque est critique pour la sécurité d'une application, en raison de la vaste gamme d'effets possibles : saut d'instructions, modifications de valeurs de registres … Les moyens mis en œuvre pour corrompre le fonctionnement d'un dispositif électronique sont divers et variés. Un circuit peut ainsi être utilisé en dehors de ses limites opérationnelles (en T°, V ou fréquence d'horloge), être soumis à de brusques variations de tension ou voir son signal d'horloge altéré. Ces attaques restent néanmoins globales, car elles perturbent le circuit dans son intégralité. De fait, elles sont facilement détectables par les nombreuses contremesures et capteurs intégrés de nos jours dans les circuits sécurisés. Des techniques plus élaborées ont ainsi vu le jour, notamment attaques dites LASER. Elles permettent de cibler une zone définie du circuit avec un effet très local, diminuant les risques d'être détectées par les capteurs ainsi que l'apparition de dysfonctionnements complets du système. Toutefois, ces attaques nécessitent une préparation physico-chimique du circuit, à la fois coûteuse et potentiellement destructrice pour l'échantillon ciblé. En raison de leur propriété de pénétration dans les matériaux, les injections électromagnétiques (Electromagnetic Injections) permettent, en théorie, de s'affranchir de toute étape de préparation. Leur capacité à transmettre de l'énergie sans contact direct, ainsi que la possibilité de les produire en possédant un matériel peu onéreux en font une technique de perturbation à fort potentiel. C'est dans ce contexte que cette thèse, intitulée « Injections électromagnétiques : développement d'outils et méthodes pour la réalisation d'attaques matérielles. » a été menée avec comme principaux objectifs la recherche de moyens de perturbation sans contact ne nécessitant pas d'étapes de préparation des échantillons, et produisant des effets localisés. Plus particulièrement, ces travaux de recherche ont donc d'abord été axés sur la réalisation d'une plateforme d'attaques basées sur la génération d'ondes EM harmoniques, en se focalisant sur les éléments clés que sont les sondes d'injection. Diverses expérimentations sur circuits intégrés en technologie récente, notamment sur une structure de générateur d‘horloge interne, ont permis de valider son efficacité. Enfin, des attaques sur générateurs de nombres aléatoires ont également été réalisées et ont démontré la possibilité de réduire l'aléa produit en sortie, en utilisant soit le phénomène de ‘locking' ou de manière plus surprenante, en provocant des fautes lors de l'échantillonnage des données par les éléments mémoires. / Attacks based on fault injection consist in disturbing a cryptographic computation in order to extract critical information on the manipulated data. Fault attacks constitute a serious threat against applications, due to the expected effects: bypassing control and protection, granting access to some restricted operations… Nevertheless, almost of classical ways (T°,V,F) and optical attacks are limited on the newest integrated circuits, which embed several countermeasures as active shield, glitch detectors, sensors… In this context, potentials of Electromagnetic active attacks must undoubtedly be taken into account, because of their benefits (penetrating characteristics, contactless energy transmission, low cost power production…). In this work, EM active attacks based on continuous mode are presented, with a particular attention to the development and optimization of injection probes, with a complete characterization of EM fields provided by each probe at the IC surface. Finally, some experiments are realized on internal clock generator or on true random numbers generators, then evaluated to prove the efficiency of these techniques. Keywords. Hardware Attacks, Faults Attacks, EM induced faults, CMOS Integrated Circuits.
42

Modelling and Simulation of the IR-Drop phenomenon in integrated circuits / Modélisation et simulation du phénomène d'IR-Drop dans les circuits intégrés

Aparicio Rodriguez, Marina 06 December 2013 (has links)
L'évolution des technologies microélectroniques voire déca-nanoélectroniques conduit simultanément à des tensions d'alimentation toujours plus faibles et à des quantités de transistors toujours plus grandes. De ce fait, les courants d'alimentation augmentent sous une tension d'alimentation qui diminue, situation qui exacerbe la sensibilité des circuits intégrés au bruit d'alimentation. Un bruit d'alimentation excessif se traduit par une augmentation du retard des portes logiques pouvant finalement produire des fautes de retard. Un bruit d'alimentation provoqué par des courants circulant dans les résistances parasites du Réseau de Distribution d'Alimentation est communément référencé sous la dénomination d'IR-Drop.Cette thèse s'intéresse à la modélisation et à la simulation de circuits logiques avec prise en compte du phénomène d'IR-Drop. Un algorithme original est tout d'abord proposé en vue d'une simulation de type ‘event-driven' du block logique sous test, en tenant compte de l'impact de l'ensemble du circuit intégré sur l'IR-Drop du block considéré. Dans ce contexte, des modèles précis et efficaces sont développés pour les courants générés par les portes en commutation, pour la propagation de ces courants au travers du réseau de distribution et pour les retards des portes logiques. D'abord, une procédure de pré-caractérisation des courants dynamiques, statiques et des retards est décrite. Ensuite, une seconde procédure est proposée pour caractériser la propagation des courants au travers du réseau de distribution. Nos modèles ont été implantés dans une première version du simulateur développé par nos collègues de Passau dans le cadre d'une collaboration. Enfin, l'impact des éléments capacitifs parasites du réseau de distribution est analysé et une procédure pour caractériser la propagation des courants est envisagée. / Scaling technology in deep-submicron has reduced the voltage supply level and increased the number of transistors in the chip, increasing the power supply noise sensitivity of the ICs. Excessive power supply noise affects the timing performance increasing the gate delay and may cause timing faults. Specifically, power supply noise induced by the currents that flow through the resistive parasitic elements of the Power Distribution Network (PDN) is called IR-Drop. This thesis deals with the modelling and simulation of logic circuits in the context of IR-drop. An original algorithm is proposed allowing to perform an event-driven delay simulation of the logic Block Under Test (BUT) while taking into account the whole chip IR-drop impact on the simulated block. To do so, we develop accurate and efficient electrical models for the currents generated by the switching gates, the propagation of the current draw through the PDN and the gate delays. First, the pre-characterization process for the dynamic currents, static currents and gate delays is described to generate a gate library. Then, another pre-characterization procedure is suggested to estimate the current distribution through the resistive PDN model. Our models are implemented in a first version of the simulator by the University of Passau in the context of a project collaboration. In addition, the impact of the parasitic capacitive elements of the PDN is analyzed and a procedure to derive the current distribution in a resistive-capacitive PDN model is proposed.
43

Contribution à l'étude de transmetteurs aux fréquences millimétriques sur des technologies émergentes et avancées / Contribution to the study of transmitters at millimeter frequencies on emerging and advanced technologies

Hanna, Tony 21 December 2017 (has links)
Depuis près d'un demi-siècle, l'industrie de la microélectronique a prospéré grâce à la miniaturisation des transistors Si CMOS. Cependant, la course à la miniaturisation se heurtera dans les prochaines années à des barrières physiques incontournables. Ainsi, de nombreux travaux technologiques sont en cours de réalisation sur les technologies émergentes et avancées. Ces technologies, notamment le graphène et la CMOS FD-SOI, représentent de grandes opportunités dans le domaine de la microélectronique, et notamment pour la conception de circuits radiofréquences et millimétriques. En outre, avec l'évolution croissante des objets et services connectés, les chercheurs travaillent intensivement sur les systèmes sans fil de cinquième génération (5G). La demande de débit de donnés et le besoin de spectre ont motivé l'utilisation de fréquences millimétriques. Par conséquent, la recherche 5G est confrontée par un ensemble de défis. L'un des défis majeurs de la 5G est la réduction de la consommation d'énergie. En fait, l'efficacité énergétique est directement liée à la fiabilité et au coût des systèmes de communication. L'amplificateur de puissance est l’élément le plus consommateur d'énergie, et l'un des blocs les plus critiques des émetteurs-récepteurs radio. Ainsi, la recherche dans ce domaine est cruciale pour les systèmes de communication de la prochaine génération. Par conséquent, l'objectif de cette thèse est d'étudier et de concevoir des amplificateurs de puissance sur les technologies émergentes et avancées pour les applications 5G. / For nearly half a century, the microelectronics industry has flourished based on the scaling of the silicon CMOS transistor technology. However, the race to transistor miniaturization encounters inevitable physical barriers. Thus, many technological works are under way for the realization of future transistors on emerging and advanced technologies. These technologies, notably the graphene and the CMOS FD-SOI, represent great opportunities for research in the fields of microelectronics, and especially for the design of radiofrequency and millimeter circuits. Besides, with the rising evolution of wireless devices and services, researchers are intensively working on the fifth generation (5G) wireless systems. The demand for high speed data and the need for more spectrum, have motivated the use of millimeter wave carrier frequencies. Therefore, the 5G research is faced with an evolving set of challenges. One of the major challenges of the next generation communication technology is reducing energy consumption. In fact, the power efficiency is directly related to the reliability and cost of the communication systems. It is widely known that the radiofrequency power amplifier is the most power consuming component in the radio transceivers, and is also one of the most critical building blocks in radio front-end. Therefore, research in this area is crucial for next generation communication systems. Consequently, the objective of this thesis is to study and design power amplifiers on emerging and advanced technologies for 5G applications.
44

Détection et prévention de Cheval de Troie Matériel (CTM) par des méthodes Orientées Test Logique / Hardware Trojan Detection and Prevention through Logic Testing

Ba, Papa-Sidy 02 December 2016 (has links)
Pour réduire le coût des Circuits Intégrés (CIs), les entreprises de conception se tournent de plus en plus vers des fonderies basées dans des pays à faible coût de production (outsourcing). Cela a pour effet d’augmenter les menaces sur les circuits. En effet, pendant la fabrication,le CI peut être altéré avec l’insertion d’un circuit malicieux, appelé cheval de Troie Matériel (CTM). Ceci amène les vendeurs de CI à protéger leurs produits d’une potentielle insertion d’un CTM, mais également, d’en assurer l’authenticité après fabrication (pendant la phase de test).Cependant, les CTMs étant furtifs par nature, il est très difficile, voire impossible de les détecter avec les méthodes de test conventionnel, et encore moins avec des vecteurs de test aléatoires. C’est pourquoi nous proposons dans le cadre de cette thèse, des méthodes permettant de détecter et de prévenir l’insertion de CTM dans les CIs pendant leur fabrication.Ces méthodes utilisent des approches orientées test logique pour la détection de CTM aussi bien en phase de test (après fabrication du CI) qu’en fonctionnement normal (run-time).De plus, nous proposons des méthodes de prévention qui elles aussi s’appuient sur des principes de test logique pour rendre difficile, voire impossible l’insertion de CTM aussi bien au niveau netlist qu’au niveau layout. / In order to reduce the production costs of integrated circuits (ICs), outsourcing the fabrication process has become a major trend in the Integrated Circuits (ICs) industry. As an inevitable unwanted side effect, this outsourcing business model increases threats to hardware products. This process raises the issue of un-trusted foundries in which, circuit descriptions can be manipulated with the aim to possibly insert malicious circuitry or alterations, referred to as Hardware Trojan Horses (HTHs). This motivates semiconductor industries and researchers to study and investigate solutions for detecting during testing and prevent during fabrication, HTH insertion.However, considering the stealthy nature of HTs, it is quite impossible to detect them with conventional testing or even with random patterns. This motivates us to make some contributions in this thesis by proposing solutions to detect and prevent HTH after fabrication (during testing).The proposed methods help to detect HTH as well during testing as during normal mode(run-time), and they are logic testing based.Furthermore, we propose prevention methods, which are also logic testing based, in order tomake harder or quasi impossible the insertion of HTH both in netlist and layout levels.
45

Design of electrical adaptive stimulators for different pathological contexts : a global approach / Conception de stimulateurs électriques adaptatifs pour différents contextes pathologiques : une approche globale

Kölbl, Florian 01 December 2014 (has links)
La stimulation électrique des tissus neuronaux est une technique largement utilisée dans la recherche en neuroscience et à des fins thérapeutiques. Ce travail est une contribution à la conception des circuits et systèmes électroniques de stimulation. De tels circuits sont requis dans quatre projets multi-disciplinaires en cours dans l’équipe Elibio de l’IMS, présentés dans ce document : STN-Oscillations (ANR 08-MNPS-036) concernant l’étude de la Stimulation Cérébrale Profonde(SCP), HYRENE (ANR 2010-Blan-031601), ayant pour but le développement d’un systèmehybride de restauration de l’activité motrice dans le cas d’une lésion de la moelle épinière, BRAINBOW (European project FP7-ICT-2011-C), ayant pour objectif l’élaboration de neuro-prothèses innovantes capables de restaurer la communication autour de lésions cérébrales, CENAVEX (ANR et NSH AN13-NEUIC-0001-01), visant au développement d’un système de stimulation en boucle fermée pour le contrôle de la respiration. Cette thèse propose une approche de conception globale qui aboutira au développement d’un système multi-applications, prenant en compte les spécificités de chaque contexte.Dans un premier temps, afin d’évaluer les contraintes liées à l’expérimentation in vivo et in vitro, deux stimulateurs spécifiques ont été réalisés. Le premier permet la SCP chronique du rat,résout la contrainte énergétique à l’aide d’une gestion dynamique de l’alimentation. Ce dispositif a été fabriqué et implanté in vivo avec succès. Une expérimentation à long terme a été effectuée afin de valider ses propriétés sur l’animal. Dans un second temps, un autre stimulateur a été conçu en utilisant un FPAA (Field Programmable Analog Array). La conception de ce circuit se concentre sur l’équilibrage des charges nécessaire à l’innocuité des sytèmes. L’architecture obtenue permet une stimulation biphasique adaptative résultant en un faible courant équivalent de fuite (moins d’un nano Ampère). Afin d’aboutir à un stimulateur multi-application, un travail préliminaire de modélisation de l’impédance de l’électrode, l’élément de charge du circuit de stimulation, a été mené. Une méthode de mesure et d’identification d’un modèle non-linéaire est détaillée, basée sur une approche par multi-modèles et fractionnaire.L’approche multi-application est ensuite mise en oeuvre, basée sur un effet d’échelle pour le dimensionnement des stimulateurs. Cet effet d’échelle lie la géométrie de l’électrode, le nombre de canaux requis par application et les niveaux de courant mis en jeu : cet effet permet de proposer une architecture de circuit multi-application. Un circuit intégré démontrant la faisabilité d’un tel système a été conçu, fabriqué et testé avec succès. Un système de stimulation multi-application basé sur ce circuit a été conçu, permettant de nouvelles recherches sur les quatre contextes physiopathologiques présentés.Enfin, un critère de mérite dédié à la stimulation est proposé. Ce critère prend en compte l’efficacité énergétique et l’équilibrage des charges afin d’évaluer le degré d’optimisation d’un circuit ou d’un système. Un tel critère de mérite est un concept novateur qui devrait permettre une optimisation rationnelle des architectures de stimulation. / Electrical stimulation of neural tissues is a widely used technique for both neuroscience explorations and innovative medical devices. This work is a contribution to the design of electrical stimulation circuits and systems. Stimulators are part of the experimental setup in several multi-disciplinary projects conducted at IMS (groupElibio), presented in this document : STN-Oscillations(French ANR 08-MNPS-036), studyingDeep Brain Stimulationmecha-nisms (DBS), HYRENE(French ANR 2010-Blan-031601), aimed at developing a hybrid system couplingartificial and biological neural networks to restore locomotion after spinal cord lesion, BRAINBOW(European Project FP7-ICT-2011-C), working on designing a neuro-prosthesis capable of restoring lost communication between neuronal circuits, CENAVEX(French ANR and American NSH AN13-NEUIC-0001-01), proposing a noveldesign for a closed-loop system for respiration control. This thesis integrates the specificities of each context and considers global therapeuticapplication issues, with the aim of proposing an original, global approach to designing thearchitecture of a multi-application stimulator.First, in order to evaluate the constraints related to ourin vivoandin vitrocontexts, anembedded stimulator for chronic DBS experiments in rodents was developed and successfullyimplantedin vivo. This design was optimized for power management during long-term experi-ments. The stimulator characteristics were assessed with behavioural tests on a rat population.Then a second, specific stimulator was designed usingField Programmable Analog Arraysforaccurate charge balancing, as well as to fulfil strong constraints to ensure tissue integrity. Theproposed charge-sensing architecture produced adaptive biphasic stimulation with sub-nanoampere DC-equivalent current.With a view to a global approach to stimulator design, an accurate model of the electrodeimpedance was built, to represent the concrete load of a stimulator. A measurement protocolbased on biphasic current-controlled solicitations and a modelling procedure relying on anoriginal fractional multi-model are described.The first step in this multi-application design approach was to investigate an electrical sizingscale effect. This involves electrode geometry, the number of channels per application, and theimplied current levels. A proof-of-concept ASIC was designed and successfully tested. A boardfor adaptive stimulation was then able to be deployed in the ongoing research projects.Finally, a dedicated Figure of Merit is proposed for stimulation. This criterion takes energyefficiency and charge balancing into account to quantify the degree of optimization of a circuitor system. This Figure of Merit is a novel concept that facilitates rational optimization ofstimulation architectures.
46

Développement de méthodologies pour l'extraction et la construction des macromodèles d'immunité électromagnétique appliqués aux circuits intégrés / Development of methodologies for the extraction of electromagnetic immunity macromodels applied to integrated circuits

Ayed, Ala 19 December 2014 (has links)
De nos jours, la modélisation de la compatibilité électromagnétique est devenue une étape importante de la conception des circuits intégrés permettant un gain sur les délais de validation et les coûts de production. Dans ces travaux de thèse, une contribution à la caractérisation et à la modélisation de la susceptibilité conduite des circuits intégrés est présentée. D’abord, une évolution substantielle de la technique RFIP est élaborée. Cette technique permet de caractériser la susceptibilité conduite des circuits intégrés. Nous avons montré les différentes étapes de caractérisation de la sonde de mesure développée ainsi que du banc de mesure en vue d’une extraction des paramètres d’immunité d’un circuit intégré soumis à des perturbations électromagnétiques. Le principe de la mesure RFIP a été validé par simulation et par mesure notamment lors de la caractérisation de l’immunité d’un convertisseur analogique-numérique embarqué dans un microcontrôleur. Ensuite, la méthodologie de construction de macromodèles d’immunité électromagnétique appliqués aux circuits intégrée est présentée. Le macromodèle construit du convertisseur est basé sur la structure du modèle ICIM-CI et ses paramètres sont extraits à partir des résultats de mesure RFIP. Les différentes approches de construction des blocs du macromodèle sont discutées. La technique RFIP s’est avérée avantageuse pour l’amélioration de la compréhension, la caractérisation et la modélisation de l’immunité des circuits intégrés. / Nowadays, electromagnetic compatibility modeling has become an importantstep during integrated circuits design which allows time-to-market and production costsreduction. In this PhD thesis, we present a contribution to the characterization and modelingof integrated circuits susceptibility to electromagnetic interferences. First, a substantialevolution of the RFIP technique, which represents a measurement technique of integratedcircuits conducted susceptibility, is presented. Different characterization steps of thedeveloped measurement probe as well as the measurement test bench are shown. RFIPmeasurement principle is validated through simulation and measurement, especially on ananalog-to-digital converter (ADC) embedded in a microcontroller. Then, the methodology ofthe extraction of the ADC’s immunity macromodel is explained according to the ICIM-CImodel structure. Macromodel’s parameters are deduced from RFIP measurement results.Different approaches for the construction of the macromodel’s blocks are discussed. RFIPtechnique shows many advantages leading to enhance understanding, characterization andmodeling of integrated circuits immunity.
47

Traitement d'images en analyse de défaillances de circuits intégrés par faisceau d'électrons

Conard, Dider 11 February 1991 (has links) (PDF)
Cette thèse présente l'étude et la réalisation d'un système automatique et intégré d'analyse de défaillances de circuits VLSI par faisceau d'électrons. Le principe d'analyse consiste a comparer les images représentant en contraste de potentiel le fonctionnement interne du circuit défaillant a celles d'un circuit de référence. L'application de cette technique de test a des circuits dont la structure détaillée est inconnue, a nécessité le développement d'un outil automatique permettant d'extraire les différences de contraste sur la totalité du circuit. L'automatisation s'est heurtée aux problèmes d'alignement entre les images a comparer. Une technique de reconnaissance des formes, basée sur la détection des coins, a été mise en œuvre pour s'affranchir de ces problèmes. Ces travaux ont été valides par une étude expérimentale menée sur des microprocesseurs 68000
48

Analyse de défaillances de circuits VLSI par testeur à faisceau d'électrons

Savart, Denis 27 June 1990 (has links) (PDF)
Cette thèse concerne l'analyse de défaillances de circuits VLSI et plus particulièrement la localisation automatique de défauts sur des circuits a structure non connue a l'aide d'un testeur par faisceau d'électrons. La première partie décrit le problème du point de vue de l'analyste et conclut sur la nécessité de l'emploi des techniques de test sans contact et plus particulièrement du testeur par faisceau d'électrons. La seconde partie décrit la methode employée pour localiser une défaillance au sein d'un circuit intégré, fondée sur la comparaison de l'image en contraste de potentiel du circuit défaillant avec l'image d'un circuit identique réputé bon. Les problèmes lies a l'automatisation complète de la phase de comparaison sont ensuite détaillés et des solutions sont apportées. Les algorithmes de traitement des images sont décrits en détail; certains ayant été spécialement développés pour la nature spécifique des images de circuits intégrés (binarisation et corrélation par recherche des coins). La troisième partie décrit les deux phases expérimentales effectuées sur deux équipements différents et permet de montrer la faisabilité de la methode de comparaison et surtout la fiabilité du processus automatique. La dernière partie conclut par la nécessité de développer les applications informatisées autour de l'outil testeur par faisceau d'électrons
49

Optimisation du contraste image en microscopie optique‎ : application à l'inspection microélectronique

Moisan, Frédéric 28 September 1988 (has links) (PDF)
Dans le domaine de l'inspection visuelle automatique de circuits intégrés, le contraste des images est un paramètre important. La méthode d'optimisation proposée utilise l'effet des variations de réflexion optique en fonction de la longueur d'onde pour les structures de couches minces. Elle consiste a déterminer le filtrage en longueur d'onde optimisant un "facteur de qualité" de l'image (taux de la dynamique de la camera) à partir des spectres de réflexion des différentes structures présentés sur la plaquette. L'étude est limitée au cas des circuits intégrés à 2 structures, mais l'extension a un nombre quelconque est possible. Les différents moyens d'obtention des spectres de réflexion sont précisés. Des mesures photométriques démontrent la fiabilité de la méthode proposée. Un appareillage optique original permet l'application dans le cadre d'une machine d'inspection automatique
50

Étude de la contrôlabilité des circuits intégrés par faisceaux d'électrons

Micollet, D. 29 September 1988 (has links) (PDF)
Cette thèse propose quelques solutions au problème du développement de la contrôlabilité par faisceaux d'électrons. La première partie de ce travail passe en revue les phénomènes lies aux faisceaux d'électrons ainsi que les possibilités offertes par les faisceaux de photons. La seconde partie traite plus particulièrement du phénomène Ebic. Son étude théorique et expérimentale dans le cas d'une jonction Planar pn amène à la conclusion que la contrôlabilité requiert des énergies de faisceaux très supérieures à celles de l'observation, exigence qui induit d'importantes perturbations du faisceau. Ces dernières sont analyséss et quelques solutions proposées pour les reduire. La seconde conclusion de l'Ebic est que le faisceau ne permettra pas le contrôle du circuit dans une amplification du courant induit. La dernière partie de ce travail décrit des méthodes de conception de dispositifs MOS capables de contrôler un circuit lorsqu'ils sont actives par un faisceau. Ces méthodes sont basées sur l'assemblage de divers éléments tels que des charges ou des amplificateurs. Ces éléments sont étudiés séparément et leurs règles d'assemblage assurent la compatibilité des niveaux électriques pour une technologie donnée. Leurs essais sont rapportes en fin de travail

Page generated in 0.0515 seconds