description
CEA Leti propose un stage de six mois à Grenoble, en France, consacré à l’exploration de techniques cryptographiques permettant d’attester à distance l’authenticité de l’exécution du code dans les systèmes embarqués. Le stage comprend l’examen de protocoles tels que zk-SNARK, zk-STARK, l’attestation du flot de contrôle et le code porteur de preuve, l’analyse de leur adéquation à ARM TrustZone et, éventuellement, la mise en œuvre d’une preuve de concept sur une carte STM32MP157. Les candidats doivent avoir une formation avancée en mathématiques et en cryptographie, une bonne maîtrise de l’anglais technique et, de préférence, une première expérience des systèmes embarqués.
