Des missions spatiales aux réseaux de capteurs, en passant par les transactions commerciales et le e-gouvernement, les systèmes automatisés sont aujourd’hui en charge d’aspects de nos vies quotidiennes considérés comme critiques, vitaux dans les domaines de la santé ou des transports par exemple, et de grande importance économique et sociale. La recherche dans ce domaine vise à s’assurer que ces systèmes sont opérationnels et se comportent comme attendu, ce qui représente un défi en raison de leur forte complexité, de leur exécution hautement parallèle ou répartie, de l’existence de fautes et d’attaques, et du fait qu'ils s’exécutent parfois dans des environnements dangereux. Pour mener cet objectif à bien, l’axe Sécurité, sûreté et fiabilité s'appuie sur l'expertise des équipes du LIP6 spécialisées en cryptographie, calcul symbolique et numérique, et méthodes formelles, mais aussi sur leur complémentarité et leurs collaborations.

Précisément, les activités de recherche de l’axe concernent la qualité des algorithmes, des modèles, des implantations logicielles, des systèmes matériels, des réseaux, des protocoles et des systèmes distribués. Celle-ci est évaluée à la fois sur le plan de la correction formelle (absence d'erreurs et respect de spécifications), mais aussi de la performance, de la sécurité et de la résistance aux attaques. Fondamentales, les questions de vie privée et de confiance sont également placées au cœur des réflexions de l’axe, et sont ainsi traitées à tous les niveaux (matériel, réseau, logiciel, cryptographie).