Description
CEA Leti is offering a six-month internship in Grenoble, France, focused on exploring cryptographic techniques for remotely attesting the authenticity of code execution in embedded systems. The internship involves reviewing protocols such as zk-SNARK, zk-STARK, control-flow attestation, and proof-carrying code, analyzing their suitability for ARM TrustZone, and potentially implementing a proof of concept on an STM32MP157 board. Candidates should have advanced training in mathematics and cryptography, strong technical English, and preferably initial embedded-systems experience.
