Contexte et atouts du poste
La vérification formelle est un outil puissant pour attester la fonctionnalité des logiciels et des composants, et elle peut également être employée pour garantir formellement la sécurité d'un logiciel. Cette approche est aujourd'hui essentielle pour les produits nécessitant un niveau élevé de sécurité. Cependant, son application à la vérification des propriétés de sécurité des composants matériels en est encore à ses débuts.
Dans le cadre d’un partenariat entre Inria (équipe-projet PACAP et Laboratoire Haute Sécurité), l'ANSSI, le CEA, l'École des Mines de Saint-Étienne, le Laboratoire d’Informatique de Paris 6, SAFRAN, et THALES, le projet FORWARD vise à contribuer aux futurs standards d'évaluation de la sécurité des composants en faisant progresser les méthodes d’analyse, notamment utilisant de la vérification formelle, appliquées aux mécanismes de protection matériels (potentiellement assistés avec du logiciel) contre les attaques par injection de fautes. Pour atteindre cet objectif, le projet comprend une phase d'amélioration des outils existants d’analyse de contre-mesures pour leur permettre d’intégrer des modèles de fautes plus complexes mais également d’analyser un système sécurisé avec une combinaison de plusieurs contre-mesures.
En particulier, l'un des volets porte sur la recherche de chemins d’attaque par injection de fautes multiples. Les contremesures sélectionnées affecteront les modèles de fautes et d’attaquant qu’il faudra supporter en améliorant un outil précédemment développé dans l'équipe. Cet outil se limite actuellement à de l’analyse statique sur le flot de contrôle et donc au niveau instruction. L’impact sur le flot de données devra être intégré afin de modéliser comment la corruption de données interagit avec le flot d’exécution du programme et ainsi mieux explorer les possibilités des attaquants. Ceci se fera par une analyse potentiellement hybride pour permettre le passage à l’échelle tout en considérant des fautes multiples. Ces travaux de recherches pourront aussi prendre en compte de nouveaux modèles de fautes propres aux partenaires du projet.
Ce poste prévoit des déplacements pour assister aux réunions périodiques du projet ainsi que pour des sessions de travail ponctuelles entre partenaires. Les frais de déplacements seront pris en charge dans la limite du barème en vigueur.
Mission confiée
Missions :
La personne recrutée devra mener les travaux de recherche relatifs au context du projet FORWARD, ce qui inclut établir ou compléter l'état de l'art du domaine, proposer des solutions aux défis du projet, et publier les travaux dans des conférences ou journaux internationaux.
Collaboration :
La personne recrutée sera en lien avec les différents partenaires du projet pour établier les besoins, définir les interface et présenter les solutions.
Principales activités
Principales activés :
1. Suivi de l'état de l'art du domaine
2. Développement des travaux de recherche
3. Publication des résultats obtenus
4. Contribution aux livrables du projet
Compétences
Compétences techniques requises :
5. langages C, C++, Python
6. assembleurs Arm et RISC-V
7. cybersécurité, en particulier injection de fautes
Langues :
8. français (lu, écrit, parlé)
9. anglais (lu, écrit, parlé)
Compétences relationnelles :
10. capacité à travailler en équipe
Compétences additionnelles appréciées :
11. FPGA
Avantages
12. Restauration subventionnée
13. Transports publics remboursés partiellement
14. Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
15. Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
16. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
17. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
18. Accès à la formation professionnelle
Rémunération
2788€ Brut
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.