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

CEA; Grenoble; Sur place; EUR 10 000 - 17 000; Plein temps

Résumé du poste

CEA à Grenoble propose un stage d’ingénierie sur la cryptographie embarquée. Vous analyserez des protocoles tels que zk-SNARK, zk-STARK, Control-flow attestation et Proof-carrying code pour évaluer leur potentiel dans un environnement ARM TrustZone.

Une preuve de concept sur un dispositif micro-processeur sera réalisée. Une comparaison des techniques se fera selon l’empreinte mémoire, l’utilisation CPU, la performance et la consommation d’énergie.

Qualifications

• Formation approfondie en mathématiques et en cryptographie.
• Vif intérêt pour l’expérimentation et les environnements embarqués.
• Bon niveau d’anglais technique requis.

Responsabilités

• Analyser et comparer les protocoles cryptographiques (zk-SNARK, zk-STARK, Control-flow attestation, Proof-carrying code).
• Réaliser une preuve de concept sur un dispositif embarqué (micro-processeur).
• Publier les résultats éventuels en fin de stage si pertinent.

Connaissances

Anglais technique

Formation

BAC+5 - Diplôme École d'ingénieurs

Outils

Python

C language

STM32MP157

Description du poste

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

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

Disponibilité du poste

01/02/2027