Le projet FORWARD vise à améliorer des méthodes de vérification de la sécurité des processeurs contre les attaques par injection de fautes. L’équipe (ANSSI, CEA, MSE, Inria, LIP6, Safran et Thales) développe dans ce projet des outils qui permettent d’identifier et de corriger des vulnérabilités très en amont durant le développement d’un système (par exemple avant le tape-out d’un prototype de circuit et non après). FORWARD vise notamment à considérer des circuits et modèles de fautes plus réalistes au sein de ces outils. Le projet s’intéresse également à confronter les résultats d’analyse formelle à des expérimentations physiques, ces dernières étant la référence à ce jour pour de nombreux standards de sécurité.
FORWARD est le parfait exemple de projet de recherche partenariale visant à contribuer aux futurs standards de l’évaluation sécuritaire.
Partenaires :
