Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...
Equipe-projet COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...
Equipe-projet KOPERNIC Adapter le raisonnement pire cas à différentes criticités Un système cyber-physique (SCP) est formé de composants cyber (informatique) et de composants...
Equipe-projet OURAGAN OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs L'équipe OURAGAN se concentre sur le transfert de méthodes de calcul algébriques vers quelques...
Equipe-projet PARKAS Parallélisme de Kahn Synchrone L'équipe PARKAS étudie la conception et la mise en oeuvre de langages de haut niveau, permettant de...
