Stage: Attestation d'exécution crypto en ARM TrustZone

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

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.