Design of Fault Injection Models Within Pre-silicon Security Methodologies H/F

il y a 3 jours


Saclay, France CEA Temps plein

Design of Fault Injection Models Within Pre‑silicon Security Methodologies H/F Join to apply for the Design of Fault Injection Models Within Pre‑silicon Security Methodologies H/F role at CEA. Position Summary Category: Information systemContract: InternshipSubject: Fault‑injection attacks exploit hardware perturbations to drive a processor into unexpected states or execution paths, which can leak secrets or enable privilege escalation. These attacks are considered in the design of high‑security products such as debit cards and recent smartphones. In this context, CEA List has developed pre‑silicon tools that discover microarchitectural vulnerabilities and verify the robustness of RISC‑V processors. Contract & Duration Contract duration: 6 months Job Description µArchiFI is a pre‑silicon tool that constructs a formal transition system from a Verilog processor description, a binary program, and an attacker model encoding the fault model. The internship objective is to enhance µArchiFI with new fault models that incorporate layout information and the spatial characteristics of a laser beam. The enhanced models will allow the tool to select signals affected by the laser beam based on its spot location, model the Gaussian profile of the beam, and assess the impact of fault injections accurately. Goals Integrate layout information and location constraints into the fault models. Model the laser beam’s Gaussian profile to select signals falling within the beam surface. Rerun security verifications over processor designs using the enhanced fault models and compare results with state‑of‑the‑art characterizations. Explore additional fault models that use circuit timing information for injection means such as clock glitching. Applicant Profile Final year or Master 2 student in computer science, microelectronics, processor systems/architecture or formal methods. Strong personal initiative, teamwork ability, and motivation for technical challenges. Programming skills in C++ and object‑oriented programming. Opportunities Work on state‑of‑the‑art pre‑silicon tools to assess the security of secure processors. Develop expertise in formal analysis, security verification, and hardware synthesis flows. Potential to publish results in hardware security workshops or conferences. Collaborate with experienced researchers and engineers at CEA. Access to state‑of‑the‑art facilities and infrastructure. Location & Start Date Site: Saclay, France (Ile‑de‑France, Essonne – 91)Position start date: 01/03/2026 #J-18808-Ljbffr



  • Saclay, Île-de-France CEA Temps plein

    General information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...


  • Saclay, France CEA Temps plein

    Position description **Category**: - Electronics components and equipments **Contract**: - Fixed-term contract **Job title**: - Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F **Socio-professional category**: - Executive **Contract duration (months)**: - 24 **Job description**: **Join the CEA to give...


  • Saclay, France CEA Temps plein

    Design of a Reinforcement Learning–Driven Scheduler for Efficient and Frugal Container Orchestration H/F Position title: Design of a Reinforcement Learning–Driven Scheduler for Efficient and Frugal Container Orchestration H/F Category: Engineering science Contract type: Internship (6 months) Location: Saclay, Palaiseau, France, Île-de-France Objective:...


  • Saclay, Île-de-France CEA Temps plein

    General information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...


  • Saclay, France CEA Temps plein

    Research Engineer in AI-Driven Modeling & Simulation for RISC-V Platforms H/F General information The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas: defence and security nuclear energy (fission and fusion) technological research for industry fundamental research in...


  • Saclay, Île-de-France CEA Temps plein

    General information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...


  • Saclay, France CEA Temps plein

    Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas: defence and security nuclear energy (fission and fusion) technological research for industry fundamental research in the physical sciences and life sciences Drawing on its widely acknowledged expertise,...


  • Saclay, France CEA Temps plein

    OverviewImage Editing of Complex Visual Scene via Natural Language H/FOrganizationThe French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas: defence and security; nuclear energy (fission and fusion); technological research for industry; fundamental research in the physical...


  • Saclay, Île-de-France CEA Temps plein

    General information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...


  • Saclay, Île-de-France CEA Temps plein

    General information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...