Developer of a hardened RISC-V core resistant to fault injection

Contract type : Fixed-term contract

Level of qualifications required : Graduate degree or equivalent

Other valued qualifications : PhD

Fonction : Temporary scientific engineer

About the research centre or Inria department

Le centre Inria Rennes - Bretagne Atlantique est un des huit centres d’Inria et compte plus d'une trentaine d’équipes de recherche. Le centre Inria est un acteur majeur et reconnu dans le domaine des sciences numériques. Il est au cœur d'un riche écosystème de R&D et d’innovation : PME fortement innovantes, grands groupes industriels, pôles de compétitivité, acteurs de la recherche et de l’enseignement supérieur, laboratoires d'excellence, institut de recherche technologique.

Context

As part of the Cyberpros project, Inria Rennes is offering an engineering position (with or without a PhD), within the TARAN team, in collaboration with the High Security Laboratory (LHS) in Rennes. The work will consist of developing a hardened RISC-V core to resist fault injection. This is a unique opportunity to work on a cutting-edge project in the field of computer security and the architecture of processors and embedded systems. The Cyberpros project is a collaboration between Inria and two SMEs from Grenoble. This job will therefore offers the opportunity to collaborate with Industry.

RISC-V is a free and open-source instruction set that is becoming increasingly popular and undoubtedly represents the future for processor design, not only for microcontrollers in embedded systems (IoT, automotive, space, etc.), but up to future high-performance systems (HPC).

Host team:
The project will be held in the TARAN (formerly CAIRN) team of the IRISA/INRIA laboratory. The TARAN team, with more than 35 members from Inria, Univ Rennes, and ENS Rennes, has participated in several national and European R&D projects and has strong industrial collaborations (e.g., Safran, Thales, Nokia, Orange, STMicroelectronics, and various SMEs). TARAN has recognized experience in several domains related to the project, such as computer architectures, embedded system design, fault tolerance, safety-critical systems, hardware accelerators, computer arithmetic.  In the context of hardware security, the team also has close collaboration with DGA-MI and ANSSI.

Assignment

The main mission will be to develop a hardened RISC-V core from a security standpoint, especially for resistance to fault attacks. This will include carrying out a literature review of hardening methods, designing the core and its architecture in VHDL, and evaluating its performance and security, in particular through fault injection attacks.

The position is open for 18 months.

Main activities

- Conduct a literature review of hardening methods
- Design the core and its architecture in VHDL
- Evaluate the performance and security of the core
- Carry out fault injection attacks to test the core's robustness
- Write technical documentation
- Write scientific papers depending on the results obtained

Skills

- Deep knowledge of processor and embedded system architectures
- Experience in hardware and software development (languages and methods)
- Experience in FPGA and/or ASIC development
- Good communication and team working skills
- Mastery of technical English (written and spoken)

Acquiring new skills:
As a new member of the TARAN team, you will be integrated into a research group with excellent prestige and deep knowledge of embedded systems. The TARAN research group can provide you with a more solid understanding and knowledge of computer architectures and hardware design. For instance, the host team has high-quality papers published using RISC-V-based processors and dedicated hardware designs, subjects that you will be able to learn much more about and increase your background in this area.

Benefits package

  • Prise en charge à 50 % des frais de transport en commun sur le trajet domicile-travail ou
    FMD.
  • Restauration subventionnée
  • Prise en charge partielle des frais de mutuelle
  • Possibilité de télétravail (à hauteur de 90 jours annuels) et d'aménagement du temps de travail

Remuneration

 rémunération mensuelle brute à partir de 2655 euros selon diplôme et expérience