Stage - Outil D'analyse de La Sécurité de

Chez ST, nous croyons à la puissance de la technologie pour stimuler l'innovation et avoir un impact positif sur les personnes, les entreprises et la société. Nous sommes une entreprise mondiale de semi-conducteurs, et notre technologie avancée ainsi que nos puces constituent la partie invisible du monde dans lequel nous vivons aujourd'hui.

Lorsque vous rejoignez ST, vous faites partie d'une entreprise globale de plus de 115 nationalités et présente dans 40 pays, avec plus de 50 000 créateurs et fabricants de technologies microélectroniques à travers le monde Tous ensemble, nous formons une seule et même ST.

ST a reçu la certification Top Employer France et le label HappyTrainees 2024 qui nous reconnaissent en tant qu’employeur de référence et démontrent notre engagement à placer l’humain au cœur de nos priorités.

Les circuits intégrés et les logiciels embarqués manipulant des données sensibles doivent être résistants aux attaques par injection de fautes, notamment ceux qui font partie d’objets connectés en raison de leur faible coût et la facilité avec laquelle un attaquant peut avoir un accès physique au circuit.

Aussi est-il nécessaire de caractériser les potentielles vulnérabilités des circuits et des logiciels pendant le cycle de développement du produit, y compris dès le début lors de la conception des programmes, grâce à des outils de simulation.

Une des difficultés liées à la simulation d’injection de fautes sur des logiciels embarqués est le grand nombre de fautes théoriques qui doivent être testées, même si l’immense majorité de ces fautes n’a pas d’impact négatif sur la sécurité. Une autre difficulté est la simulation des périphériques.

Au sein d'une équipe de R&D en sécurité, votre mission durant les 6 mois du stage sera de concevoir un outil d’analyse de logiciel embarqué permettant d’identifier rapidement les fautes pouvant poser des problèmes de sécurité, en utilisant les techniques d’analyse les plus adaptées (par exemple l’exécution symbolique, l’exécution à rebours, l’émulation, des graphes d’exécution, les solveurs de contraintes ).

**Votre profil**
- Futur BAC+5 cherchant un stage de 6 mois,
- Connaissances souhaitées: analyse statique et dynamique de binaires, exécution symbolique, compilation, cœurs ARM, C, langages scriptés,
- Capacité d’adaptation et prise de recul,
- Force de proposition et autonomie,
- Bon niveau d’Anglais.

**English version**

Fault injection attacks, once restricted to smartcard type of devices, are now becoming a risk on most electronic devices. Critical software running on these devices must be protected, and it is very important to validate this protection.

Software fault injection simulation is a promising track to simplify and speed-up the validation process, but it is also very challenging: the number of theoretical fault effects to simulate is huge, most of them having no impact on security; And most low-level software simulation tools are not yet well suited to embedded firmware.

Within an R&D team specialized in embedded systems security, your mission will be to design an embedded software analysis tool to quickly identify faults that have an impact on security, using the most relevant analysis techniques (for instance symbolic execution, backward execution, emulation, calling graphs, constraint solvers, source analysis ).

**Your profile**
- Last year of a master degree in software engineering / computer science
- Knowledge in static & dynamic analysis of binaries, symbolic execution, compilers, ARM core, C would be a plus
- Proactivity, autonomy and teamwork.
- Good level of written and spoken English

Nous rejoindre, c'est aussi opter pour un meilleur équilibre entre vie professionnelle et vie personnelle, et un environnement de travail offrant des opportunités égales. Des groupes de ressources dédiés aux femmes, aux LGBTQIA+, des possibilités d’organisation du travail hybrides font partie des nombreuses initiatives qui font de ST un endroit propice pour le développement de votre carrière.