AMORES – Architecture pour les systèmes résilients MObiles et ubiquitaiRES

ARDyT – Architecture Reconfigurable Dynamiquement Tolérante aux fautes

AstréeA – Analyse statique de logiciels temps-réel asynchrones embarqués

BLOC – Conception et analyse de chiffrements par blocs

COMPA – Conception Orientée Modèle de calcul pour multi-Processeurs Adaptables

DEFIS – Conception de systèmes embarqués utilisant l'arithmétique virgule fixe

KISS – Koffre-fort d’Informations personnelles Sûr et Sécurisé

LYRICS – Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact

MAGIC-SPS – Méthodes et Algorithmes Garantis pour le Contrôle d'Intégrité et la Surveillance Préventive des Systèmes

MARS – Systèmes embarqués fiables et faible consommation à base de Mémoires Magnétiques (MRAM)

Paral-ITP – Parallélisation des systèmes de preuve interactifs de haute fiabilité

REVER – Programmation de systèmes réversibles et sûrs

Robust FPGA – Conception d'un FPGA Tolérant aux Défauts

SACSO – Solutions pour l’auto-adaptation in-situ de systèmes communicants

VACSIM – Validation de la commande des systèmes critiques par couplage simulation et méthodes d’analyse formelle

VERASCO – Vérification formelle d'analyseurs statiques et de compilateurs