Exploration des techniques d'attestation d'exécution de code en embarqué H/F
Am I a fit — voir ma compatibilitéDescription du poste Domaine Mathématiques, information scientifique, logiciel Contrat Stage Intitulé de l'offre Exploration des techniques d'attestation d'exécution de code en embarqué H/F Sujet de stage En embarqué, la sécurité d'une application est actuellement réalisée avec les techniques d'ancrage sécurisé (Root-of-Trust), de démarrage sécurisé…
Repères sur CEA
- Offres ouvertes
- 145
Détails de l’offre
La description complète publiée par CEA.
Description du poste
Domaine
Mathématiques, information scientifique, logiciel
Contrat
Stage
Intitulé de l'offre
Exploration des techniques d'attestation d'exécution de code en embarqué H/F
Sujet de stage
En embarqué, la sécurité d'une application est actuellement réalisée avec les techniques d'ancrage sécurisé (Root-of-Trust), de démarrage sécurisé (Secure Boot), ou encore de monitoring dynamique des applications embarquées. Mais ces techniques ne répondent pas au besoin d'attester l'authenticité de l'exécution d'un code embarqué pour un pair distant.
Aussi, l'objectif du sujet est de réaliser un état de l'art des techniques permettant d'attester à distance de l'authenticité de l'exécution d'un code en embarqué.
Durée du contrat (en mois)
6 mois
Description de l'offre
Plusieurs protocoles cryptographiques, tels que zk-SNARK, zk-STARK, Control-flow attestation, ou encore Proof-carrying code seront analysés et leur potentiel à être embarqués dans un environnement ARM TrustZone sera étudié. Une preuve de concept sur un dispositif embarqué de type micro-processeur pourra être mis en œuvre.
Une comparaison des techniques analysées sera effectuée selon différents critères tels que l'empreinte mémoire, l'utilisation du CPU, la performance, le surplus de communication, l'usage dans le contexte d'un réseau distribué et la consommation énergétique. Une publication pourrait être rédigée en fin de stage pour valoriser les résultats obtenus.
Moyens / Méthodes / Logiciels
Python, langage C, carte électronique STM32MP157
Profil du candidat
Le candidat recherché sera d'un niveau BAC+4/5, master 2, stage de césure, stage de fin d'études d'ingénieurs. Il devra disposer d'une formation approfondie en mathématiques et en cryptographie, ainsi qu'un vif intérêt pour l'expérimentation. Une première expérience sur l'embarqué serait un plus. Un bon niveau d'anglais technique est également attendu.
Localisation du poste
Site
Grenoble
Localisation du poste
France, Auvergne-Rhône-Alpes, Isère (38)
Ville
GRENOBLE
Critères candidat
Langues
Anglais (Courant)
Diplôme préparé
Bac+5 - Diplôme École d'ingénieurs
Formation recommandée
Mathématiques appliquées, Cryptographie, Programmation, Systèmes embarqués
Possibilité de poursuite en thèse
Non
Demandeur
Disponibilité du poste
01/02/2027
D’autres offres chez CEA
144 autres offres actuellement disponibles.
Stagiaire chimie des matériaux
- 145 offres ouvertes
Le CEA propose un stage de 4 à 6 mois à Gif-sur-Yvette consacré au développement de matériaux catalytiques innovants pour la sécurité hydrogène. Le stage porte sur la synthèse, la mise en forme et la caractérisation de matériaux catalytiques, au sein d’une équipe pluridisciplinaire.
Simulations radio réalistes pour une représentation topologique compacte des canaux de propagation H/F
- 145 offres ouvertes
Le CEA propose un stage de 4 à 6 mois à Grenoble consacré à la simulation de propagation radio et à la représentation compacte des canaux de communication. Le stage combine programmation scientifique en Python, traitement du signal radio, apprentissage machine et validation sur mesures réelles.
Deep Joint Source-Channel Coding: implémentation et validation sur une chaîne de transmission réelle H/F
-
Python
-
Pytorch
- 145 offres ouvertes
Le CEA propose un stage de 6 mois à Grenoble consacré à l’implémentation et à la validation du Deep Joint Source-Channel Coding sur une chaîne de transmission réelle. Le stage porte notamment sur l’apprentissage profond, l’optimisation sur plateforme NVIDIA Jetson et l’évaluation des performances de transmission.
Post-doctorant en millifluidique H/F
- 145 offres ouvertes
Le CEA recherche un post-doctorant en chimie spécialisé en millifluidique pour étudier la précipitation de composés inorganiques liés au recyclage des combustibles nucléaires usés. Le projet de 12 mois comprend le développement d’essais microfluidiques et leur couplage à des systèmes analytiques comme SWAXS, DLS, UV et Raman. Le poste est basé sur le site de Marcoule, dans le Gard.
Etude et conception d'antennes millimétriques intégrées H/F
- 145 offres ouvertes
Le CEA recrute un ingénieur en étude et conception d’antennes millimétriques intégrées à Grenoble. La mission porte sur la simulation, la conception et la caractérisation expérimentale d’antennes, en collaboration avec les équipes de microtechnologies et d’électronique intégrée.
Conception d'antennes compactes H/F
- 145 offres ouvertes
Le CEA recherche un cadre en conception d’antennes compactes au sein du LAPCI, à Grenoble. Le poste porte sur la simulation électromagnétique, la modélisation, la conception et la caractérisation expérimentale d’antennes et de systèmes d’antennes radiofréquences. Il requiert une formation d’ingénieur ou de docteur, la maîtrise d’outils de simulation et de programmation scientifique, ainsi qu’un anglais courant.