Façonner le monde de demain : la cybersécurité

Avec le développement du numérique et de l’internet des objets, la cybersécurité est un enjeu crucial pour les prochaines décennies. Pour y répondre, l’X s’implique dans le développement de la sécurité informatique et dans la cryptologie. Les chercheurs en cryptologie du Laboratoire d’informatique de l’X travaillent sur de nouvelles méthodes de sécurisation des communications, et notamment des objets connectés. Ils développent de nouveaux énoncés mathématiques qui utilisent des courbes elliptiques pour aboutir à des problèmes très concis mais extrêmement difficiles à résoudre. Ainsi, ils étudient des problèmes qui seront utilisés demain afin de créer des crypto-systèmes encore plus efficaces avec des clés cryptographiques plus compactes et sécurisées. Une autre équipe du laboratoire d’informatique se penche sur la conception et l’implémentation d’outils formels d’aide à la construction et à la vérification de preuves de sécurité, grâce à la conception de langages de programmation et de vérification assistée par ordinateur. Leur objectif est de fournir les méthodologies nécessaires pour la production certifiée de standards cryptographiques présentant des garanties de sécurité fortes face à des modèles d’attaques malveillantes concrètes. Autres travaux menés au sein du laboratoire, dans le domaine des systèmes embarqués tels que les pilotes automatiques d’avion, les réseaux électriques intelligents ou les véhicules autonomes : les chercheurs utilisent la vérification formelle pour s’assurer du bon fonctionnement de ces systèmes cyber-physique. Cette technique, couramment utilisée dans l’industrie, est cependant très coûteuse en termes de calcul. Les chercheurs s’attèlent à trouver des méthodes de vérification formelle permettant d’abaisser le temps et la mémoire nécessaires pour assurer la sécurité de ces systèmes. En termes de formation, l’X a lancé en 2018 un Master of science and technology qui s’adresse aux étudiants souhaitant entreprendre une carrière dans le domaine de la cybersécurité tant au niveau technique qu’au niveau de responsable de service, voire d'audit ou d'expert.