Activités de Recherche et Développement

SafeRiver développe un ensemble de travaux sur le thème de la mise en oeuvre et de l'exploitation des méthodes d'analyse de code pour démontrer l'atteinte de propriétés de sûreté et de sécurité telles que:

• Intégrité de l'exécution
• Inévitabilité et l'efficacité de certaines fonctions critiques
  • Authentification
  • Autotests
  • Contrôles
  • Votes
  • Détection d'intrusion

Ces techniques permettent également d'instruire les conditions d'exploitation de faiblesses de code qui pourraient mener à des défaillances ou à des attaques (recherche de canaux cachés par exemple).

SSURF (Projet ANR, 2006—2010)

• Formalisation de polices de sécurité
• Spécification formelle de moniteurs de référence
• Application à la FIPS 140-3

PROMETHEUS (Projet ISI, 2010—2012)

• Multi purpose processor arrays (MPPA) (512 cores)
• Utilisation de MPPA pour les applications de sûreté & sécurité
  • Outils de développement
  • Mécanismes de base

RECOMP (Projet ARTEMIS, 2011—2013)

• Automobile, Aéronautique & Machines outils
• Architectures multicore pour les applications de sûreté
• Noyaux de séparation
• Certification incrémentale
• Architecture à base de composants

BACCARAT (Projet Systematic FEDER2, 2010—2012)

• Analyse de propriétés de sécurité sur du code C
• Interfaces avec le matériel