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

Domaine : Mathématiques, information  scientifique, logiciel
Contrat : Stage
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.

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.
Ville : GRENOBLE
Langue / Niveau :
Anglais : Courant