Qui sommes-nous ?
Télécom Paris, école de l’IMT (Institut Mines-Télécom) et membre fondateur de l’Institut Polytechnique de Paris, est une grande école du top 5 des écoles d’ingénieurs généralistes françaises.
La Raison d’Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et des solutions numériques au service d’une société et d’une économie respectueuses de l’humain et de son environnement.
Nous recherchons une Post-doctorante ou un Post-doctorant passionné.e par la modélisation et l’évaluation de la sécurité des systèmes cyber-physiques pour rejoindre notre équipe dynamique au sein du département informatique et réseaux de Télécom Paris. En tant que post-doctorant.e, vous développerez des méthodologies pour modéliser et évaluer les menaces de sécurité sur des systèmes complexes (véhicules, dispositifs médicaux, systèmes industriels), et participerez activement à des projets de recherche en collaboration avec l’Institut Polytechnique de Paris.
CONTEXTE SCIENTIFIQUE
Les systèmes cyber-physiques (CPS) suscitent un intérêt croissant de la part des chercheurs et des industriels. Il s'agit de systèmes embarqués intelligents, par exemple des véhicules, des systèmes aérospatiaux, des systèmes médicaux ou des systèmes de contrôle industriel, qui englobent des composants informatiques (c'est-à-dire logiciels) et physiques, parfaitement intégrés et en interaction étroite pour gérer l'évolution de l'état du monde réel. Ces systèmes impliquent un degré élevé de complexité à de nombreuses échelles à la fois spatiales et temporelles et des interconnections intégrant des composants informatiques et physiques.
Cependant, l'interconnexion des mondes cyber et physique augmente la surface d'attaque et donne lieu à de nouvelles menaces de sécurité très impactantes. La sécurité des systèmes cyber-physiques est donc un défi majeur pour leurs concepteurs et mainteneurs. Pour relever ce défi, une méthodologie capable de spécifier les propriétés des exigences de sécurité attendues d'un système, de déployer des points d'application et de vérifier leur efficacité est nécessaire. Une telle méthodologie devrait permettre de modéliser des (systèmes de) systèmes complexes à plusieurs niveaux d'abstraction pour permettre une connaissance de la situation à différents acteurs en termes de cybersécurité. Par ailleurs, la modélisation doit exposer des indicateurs qu'un évaluateur peut instrumenter pour vérifier l'efficacité des contre-mesures de sécurité pour protéger le système.
L'objectif principal de ce travail est double : i) proposer des méthodologies et outils pour modéliser avec précision les systèmes cyber-physiques, ainsi que leurs exigences de sécurité, leurs menaces et les remédiations qui s'y appliquent, afin que les utilisateurs puissent obtenir différents niveaux d'informations et interagir avec le système à des niveaux de précision croissants; ii) concevoir des méthodologies pour évaluer la sécurité du système testé ou sa résilience aux menaces en présence ou en l'absence de remédiations avec un contrôle précis des entrées et des conditions de l'environnement d'évaluation, y compris les métriques, les sondes, les points d'injection, les jeux de données (activités légitimes et malveillantes).
Le poste de postdoc proposé fait partie du projet CERES, dans le cadre du CIEDS (Centre interdisciplinaire d'études de défense et de sécurité) de l'Institut Polytechnique de Paris. Il est partiellement financé par l'Agence française pour l'innovation de défense (AID) et le ministère des armées.
Vos tâches seront de :
• Poursuivre nos travaux de recherche en cours sur le développement d'une approche basée sur des modèles pour évaluer la sécurité des systèmes cyber-physiques.
• Prototyper ce qui précède en utilisant un langage de description d'architecture tel que SysML et d'autres langages requis pour modéliser l'étude de cas du bâtiment intelligent.
• Évaluer l'approche en utilisant l'étude de cas du bâtiment intelligent.
• Rédiger de la documentation et des articles de recherche.
Missions principales :
