Notre équipe développe Frama-C (http://frama-c.com), une plateforme d'analyse de code C qui fournit plusieurs analyseurs de code. Frama-C est développé en OCaml. Il permet d'annoter des programmes C avec des spécifications formelles écrites dans le langage ACSL. Frama-C peut ainsi garantir qu'un ...
Les objectifs de sécurité des objets connectés sont usuellement la Confidentialité, l'Intégrité et l'Authentification (CIA). Pourtant la garantie de ces objectifs n'empêche pas de changer l'ordonnancement des événements ou la durée séparant deux événements. Pour combler ces nouveaux besoins de sé...
Le Cell-free massive multiple-input multiple-output (CF-mMIMO) est une technologie clé de la future 6e génération de réseaux sans fil (6G). Cela représente une infrastructure de réseau alternative et constitue une piste de recherche solide pour améliorer l'efficacité énergétique (EE) et l'efficac...
Dans le cadre du développement de ses activités de R&D sur les réseaux de capteurs et les jumeaux numériques (Digital Twins), le Laboratoire Autonomie et Intégration de Capteurs (DSYS/SSCE/LAIC) du CEA-LETI à Grenoble, propose une thèse sur les « Réseaux de capteurs et Jumeaux numériques pour la ...
Les microalgues et les cyanobactéries photosynthétiques présentent l'intérêt de pouvoir transformer le CO2 en biomasse valorisable via la photosynthèse. Elles sont potentiellement capables de capter et de réutiliser les émissions de CO2 industrielles et de fait d'atténuer leur impact environnemen...
Dans des multiples applications telles que le transfert d'énergie sans fil, l'imagerie micro-ondes, le contrôle industriel, etc., il est nécessaire de former, diriger ou encore focaliser le rayonnement électromagnétique dans une région spécifique de l'espace. Cette région peut se situer dans l'en...
La prise en charge MEC à faible latence, ultra-fiable et économe en énergie est un pilier fondamental pour les réseaux 5G et futurs 6G. Néanmoins, l'allocation conjointe optimale et fiable des ressources de communication, de calcul et de mise en cache (C3) dans le temps et dans l'espace reste un ...
Contexte: Une façon naturelle de réaliser des dispositifs quantiques à grande échelle consiste à les organiser en tableaux avec un couplage entre voisins les plus proches. Pour un processeur quantique à base de semi-conducteur, l'information quantique est encodée dans le spin d'une charge unique,...
Le projet Quantum Silicon Grenoble, incluant le CEA-LETI, CEA-IRIG et l'Institut Néel, vise à réaliser un ordinateur quantique à base de bits quantiques (qubits) en silicium. Les conditions de fonctionnement des qubits (températures cryogéniques = 1K, hautes fréquences de l'ordre du GHz, forte de...
Les produits sécurisés grâce à des mécanismes cryptographiques embarqués peuvent être vulnérables aux attaques par canaux auxiliaires. Ces attaques se basent sur l'observation de certaines quantités physiques mesurées pendant l'activité du dispositif, comme la consommation de puissance, le rayonn...
Un nombre croissant de systèmes critiques tels que les véhicules autonomes, l'avionique et les dispositifs médicaux sont exécutés sur des architectures comportant un grand nombre de c?urs, et interagissant en temps réel avec leur environnement. Etant donné que les conséquences d'une défaillance d...
Les microsystème électromécaniques (MEMS) apportent des gains importants (consommation, encombrement, précision) pour remplacer les capteurs de taille macroscopique dans de nombreuses applications (accéléromètre, capteur de gaz, référence de temps, spectroscopie, radar ultrasonore?) et ouvrent de...
La perte d'audition est un problème de santé publique majeur, et affecte environ 10% de la population mondiale. Ce handicap impacte fortement le confort de vie des patients qui en sont atteints, dans de nombreux aspects de leur vie. De plus, avec une stimulation accrue sur de longues périodes de ...
La cryptographie post-quantique est en plein essor. En cause, les avancées sur l'ordinateur quantique et l'initiative du NIST visant des premiers standards de primitives post-quantiques d'ici 2024. Cette nouvelle cryptographie entraîne une transition scientifique et industrielle du désormais vast...
La manipulation robotique d'objets requiert en premier lieu une planification de prise de ces objets, qui est fonction de paramètres caractéristiques du préhenseur et de la tâche à effectuer (tels que les zones d'accessibilité ou le niveau et la direction des efforts pouvant être impliqués dans l...
Les performances des processeurs utilisés pour le calcul scientifique et pour l'apprentissage automatique s'améliorent en continu. L'exploitation du parallélisme est un facteur clef pour la performance, mais cette approche convient surtout aux données organisées régulièrement. La plupart des cal...
Le domaine de l'intelligence artificielle est aujourd'hui dominé, en volume, par la recherche sur les réseaux de neurones profonds. En effet, il y a une dizaine d'années, ces derniers ont permis d'améliorer le traitement de problèmes réputés difficiles, notamment en vision par ordinateur et ont, ...
Les algorithmes d'apprentissage profond tels que les réseaux neuronaux convolutifs (CNN, Convolutional Neural Networks) sont utilisés pour de nombreuses applications de reconnaissance et/ou de classification d'images. Ces CNNs sont composés de plusieurs couches qui engendrent d'importants mouveme...
Le sujet de thèse proposé se situe dans le domaine de la perception embarquée pour la détection et le suivi d'objets dynamiques (personnes, voitures, cyclistes...) en temps-réel. Issus d'informations visuelles provenant de différents capteurs, suivre un objet nécessite la combinaison de plusieurs...
Les mémoires dites « ferroélectriques », nommées FeRAM en anglais (Ferroelectric Random Access Memories), émergent comme une alternative prometteuse pour remplacer les mémoires non-volatiles à accès rapide (<1µs), nécessaires à toutes architectures de calcul, notamment celles munies de mémoires d...
Dans le contexte des applications utilisant directement des données cryptées (Fully Homomorphic Encryption ou FHE), le transchiffrement permet d'éviter la forte expansion de la taille des données chiffrées, grâce à l'utilisation de la cryptographie symétrique. En effet, le transchiffrement est un...
L'intelligence à l'Edge vise à pousser le calcul effectué sur les données en périphérie pour des raisons énergétiques et de sécurité. En découle l'implémentation de matériel co-optimisé pour l'inférence de réseaux de neurones artificiels (ANN) plus ou moins profonds (DNN) et qui vise un calcul au...
Le chiffrement homomorphe est une technique cryptographique permettant de réaliser des traitements directement sur des données chiffrées, sans avoir à les déchiffrer. Ainsi, le chiffrement homomorphe reste un des moyens les plus séduisants pour assurer la confidentialité des données lors de leur ...
Les modèles d'IA, notamment les réseaux neuronaux profonds, sont de plus en plus intégrés dans les systèmes pratiques dans divers secteurs. Dans certains domaines, les véhicules autonomes et les dispositifs médicaux par exemple, ces modèles sont chargés de prendre des décisions critiques. Cependa...
En microélectronique, l'élaboration de structures SOI (Silicon On Insulator) pour la fabrication de circuits intégrés de nouvelle génération s'appuie souvent sur la technologie de collage par adhérence moléculaire. Cette technique repose sur le collage direct de deux surfaces à l'aide de procédés...
L'Overlay (OVL) est un des paramètres clef à suivre au cours de la fabrication de composants de microélectronique. Actuellement, cette grandeur est suivie par des techniques d'imagerie ou par scatterométrie. Pour les technologies les plus avancées - CMOS10nm et au-delà - ces techniques bien que ...
La croissance et la fabrication de LED InGaN/GaN a atteint un excellent degré de maturité grâce à leur utilisation dans le domaine de l'éclairage. Leur robustesse et leur grande efficacité en font une solution de choix pour réaliser des micro-écrans de haute luminance et de haute résolution pour ...
Ce travail de thèse propose d'étudier un nouveau paradigme de calcul appelé « calcul hyperdimensionnel ». Développé et utilisé pour les applications de l'intelligence artificielle, ce nouveau paradigme, qui s'inspire des modèles d'activité neuronale, s'appuie sur l'utilisation de grands vecteur...
La présence d'un gaz d'électrons bi-dimensionnel (2DEG) dans les hétérostructures AlGaN/GaN permet de produire des transistors à haute mobilité électronique (HEMTs) qui sont naturellement normally-ON. Cependant dans le domaine de l'électronique de puissance, il est nécessaire d'utiliser des trans...
Une des activités du laboratoire concerne le développement de la technologie Smart-CutTM, en partenariat avec la société SOITEC. La technologie Smart-CutTM est une technique originale de report de couches minces. Elle est basée sur l'implantation d'ions légers, le collage par adhésion moléculaire...
Récemment il a été prouvé dans la littérature scientifique que l'utilisation des technologies CMOS à température cryogéniques augmente leur vitesse opérationnelle. Leur utilisation dans l'aérospatiale mais aussi dans les secteurs des serveurs à haute performance, le quantum computing et les data ...
La fabrication des Qbits de spin et supraconducteurs demande la mise en place d'un routage métallique à courte distance (Back-end of line ? BEOL) et localisé compatible en radiofréquence et fonctionnant à très basse température (au-dessous de la TC). Il existe à ce jour des intégrations BEOL basé...
Les composants de puissance à base de nitrure de gallium (GaN) connaissent actuellement un succès croissant de part leurs propriétés électriques qui permettent d'augmenter l'efficacité énergétique et de réduire la taille des convertisseurs de puissance. Les composants verticaux en GaN permettent...
Le CEA-LETI se positionne comme leader des mémoires FeRAM ultrabasses consommations compatibles BEOL pour les applications IoT et IA. Avec une consommation électrique < 100 fJ/bit écrit ou lu (typiquement 1000x moins qu'une mémoire Flash), ce type de mémoires non volatiles est aujourd'hui la moin...
