Formal Modeling Of Clock Glitch Attacks For Security Verification Of Processors H/F
CEA Fontaine, France Posted 27 Aug 2026
About this role
Research context Embedded processors are increasingly deployed in security-critical applications, making their protection against physical attacks a major challenge. Among these threats, clock glitch attacks remain a powerful and accessible fault injection technique, especially relevant for IoT and embedded systems due to their low-cost implementation. Recent research at Inria Rennes led to the development of TRAITOR [1-2], an experimental platform capable of generating synchronous clock pertur…
How to apply
Applications are handled by the employer. Open the original advert to apply, or create a free NextMove account to track deadlines and see similar matches.
Similar opportunities
- Développeur cobol-erp f/h (CDI)ICF Habitat · 1er Arrondissement
- Global Medical Advisor H/FExcelya · Paris
- Stage - Assistant Conformité & Modération de Contenu (x/f/m) - janvier 2027Doctolib · Paris
- Stagiaire Member Events - Soho House Paris H/FSohohouseco · Paris
- Software Engineer - Performance MarketingVoodoo · Paris
- Pre-Sales / Sales EngineerAlan · Paris