CEA

Exploration des techniques d’attestation d’exécution de code en embarqué H/F

CEA  •  Grenoble, FR (Onsite)  •  4 hours ago
Apply
AI can make mistakes so check important info. Chat history is never stored.

Job Description

Informations générales

Entité de rattachement

Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.

Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.

Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.

Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :

  • La conscience des responsabilités
  • La coopération
  • La curiosité

Référence

2026-41343

Description de l'unité

Le Leti, institut de recherche technologique du CEA Tech, a pour mission d’innover et de transférer les innovations à l’industrie. Son cœur de métier réside dans les technologies de la microélectronique, de miniaturisation des composants, d’intégration systèmes, d’architecture de circuits intégrés à la base de l’internet des objets, de l’intelligence artificielle, de la réalité augmentée ou de la santé connectée. Le Leti façonne des solutions différenciantes, sécurisées et fiables, visant à augmenter la compétitivité de ses partenaires par l’innovation technologique. Le Leti est localisé à Grenoble, avec deux bureaux aux USA et au Japon, et compte 1800 chercheurs.

Le laboratoire d’accueil travaille sur le sujet de la sécurité des systèmes embarqués.

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

CEA

About CEA

The CEA is the French Alternative Energies and Atomic Energy Commission ("Commissariat à l'énergie atomique et aux énergies alternatives"​). It is a public body established in October 1945 by General de Gaulle. A leader in research, development and innovation, the CEA mission statement has two main objectives: To become the leading technological research organization in Europe and to ensure that the nuclear deterrent remains effective in the future.

The CEA is active in four main areas: low-carbon energies, defense and security, information technologies and health technologies. In each of these fields, the CEA maintains a cross-disciplinary culture of engineers and researchers, building on the synergies between fundamental and technological research.

The civilian programs of the CEA received 49% of their funding from the French government, and 30% from external sources (partner companies and the European Union).

The CEA had a budget of 4,3 billion euros.

The CEA is based in ten research centers in France, each specializing in specific fields. The laboratories are located in the Paris region, the Rhône-Alpes, the Rhône valley, the Provence-Alpes-Côte d'Azur region, Aquitaine, Central France and Burgundy. The CEA benefits from the strong regional identities of these laboratories and the partnerships forged with other research centers, local authorities and universities.

Industry
Biotech & Life Sciences
Company Size
10,000+ employees
Headquarters
Paris, FR
Year Founded
Unknown
Website
cea.fr
Social Media