µArchiFI est un outil d’analyse pré-silicium formel de la robustesse de systèmes embarqués à des attaques par injection de fautes. µArchiFI est notamment capable de prendre en compte les interactions subtiles entre une microarchitecture et le logiciel qui s’exécute sur un processeur.
µArchiFI permet soit :
µArchiFI est disponible en open source.
Les attaques par injection de fautes exploitent des perturbations physiques (rayonnement, perturbations d’horloge, etc.) dans un système embarqué pour accéder à des données sensibles ou acquérir des privilèges d’exécution. Les effets des fautes ont des conséquences qui se propagent depuis le matériel jusqu’au logiciel, rendant insuffisantes les modélisations uniquement matérielles ou logicielles.
µArchiFI permet une analyse complète en intégrant processeur, logiciel et modèle d’attaquant, aidant à concevoir et vérifier des contre-mesures contre des attaques par injection de fautes.
Les principales forces de µArchiFI sont :
µArchiFI peut identifier d’éventuelles vulnérabilités d’un système logiciel/matériel ou bien prouver sa robustesse pour un modèle de fautes donné.
µArchiFI est donc utile à un concepteur de contre-mesures en lui permettant d’évaluer l’apport de celles-ci pour sécuriser un système lors de sa conception. Ainsi, durant la conception d’un système, le concepteur matériel peut analyser les vulnérabilités trouvées afin de corriger la spécification et l’implémentation des contre-mesures.
µArchiFI est également utile pour analyser le niveau de robustesse d’un système à des injections de fautes.
Un composant clé dans la sécurité des systèmes sur puce (SoC) est une chaîne de confiance matérielle (RoT). Traditionnellement, l’analyse de la robustesse d’une RoT repose sur une caractérisation post-silicum coûteuse et aux résultats souvent variables (évaluateur, outils, etc.).
En collaboration avec l’Université Technique de Graz (TU Graz), la technique originale k-FRP a permis une première mondiale : une analyse sécuritaire d’OpenTitan contre les attaques par injection de fautes. OpenTitan est la première RoT matérielle open-source développé par un consortium d’acteurs de premier plan des systèmes numériques et de la cybersécurité.
Accéder à la page µArchiFI sur Github
