Logiciel de développement pour l'analyse d'expériences de défaillance dans le domaine de la sécurité matérielle. Il fournit des outils pour l'analyse de défaillances et la visualisation de résultats, ainsi qu'une méthode pour intégrer des modules d'analyse et des modèles de défaillance.

Ce projet vise à reproduire des traces d'exécution de code sur un processeur ARM v7 en analysant les signaux générés par un analyseur logique. Il explore des attaques matérielles pour tromper un moniteur de sécurité en simulant des accès mémoire et des branchements indirects. Les résultats permettent de renforcer la sécurité des systèmes embarqués contre des attaques ciblant les mécanismes de traçage matériel.

Secbench est un framework open source dédié à la caractérisation de la sécurité matérielle des systèmes électroniques. Il permet aux chercheurs, éducateurs et étudiants d'effectuer des analyses de canaux auxiliaires et des injections de fautes de manière standardisée et reproductible. Le projet fournit des interfaces abstraites pour divers instruments de laboratoire et des algorithmes optimisés pour le traitement des traces de sécurité.

Ce projet pédagogique permet d'étudier et de reproduire des attaques de type Spectre, une vulnérabilité matérielle affectant les processeurs modernes. Il explore les mécanismes des caches CPU, l'exécution spéculative et les canaux auxiliaires pour comprendre comment des informations sensibles peuvent fuir entre processus isolés. Destiné aux étudiants en informatique, il offre une approche pratique pour analyser les failles de sécurité liées à l'architecture des processeurs.

Outil permettant d'évaluer la résistance des circuits électroniques aux injections de fautes, notamment pour sécuriser les processeurs. Il analyse la robustesse des designs contre des attaques matérielles en partitionnant les composants et en vérifiant leur intégrité. Utilisé dans le domaine de la cybersécurité matérielle, il aide à identifier les failles exploitables et à renforcer la fiabilité des systèmes critiques comme les CPU sécurisés.

Outil d'analyse et d'estimation dédié aux gadgets de masquage utilisés en cryptographie. Il permet d'évaluer les performances en cycles CPU et les coûts mémoire des algorithmes de masquage sur différentes architectures de microcontrôleurs. Le projet facilite la comparaison des configurations et l'optimisation des paramètres pour des applications sécurisées, en intégrant une bibliothèque extensible de gadgets et des exemples de configurations matérielles et de masquage.