Outil formel dédié à l'analyse de la robustesse des systèmes embarqués face aux attaques par injection de fautes. Il combine la description RTL d'un processeur, le binaire d'un logiciel et un modèle d'attaquant pour évaluer la sécurité d'un système intégrant des contre-mesures. µArchiFI permet de prouver formellement la sécurité d'un système ou d'identifier des contre-exemples illustrant des vulnérabilités exploitables.

Ce projet propose deux implémentations sécurisées de l'algorithme de chiffrement AES-128 spécifiquement adaptées au microcontrôleur ATMega8515. Développé par des experts en sécurité embarquée de l'ANSSI, il vise à protéger les communications contre les attaques par canaux auxiliaires (SCA) dans des environnements contraints. Les solutions intègrent des contre-mesures avancées pour limiter les fuites d'information, avec une version basique et une version renforcée. Le code est accompagné d'un système d'exploitation minimal (SOSSE) et d'outils de test pour faciliter l'évaluation.

VeriFast est un outil d'analyse statique conçu pour vérifier la sécurité et la correction des programmes. Il permet de détecter des vulnérabilités potentielles dans le code source, notamment en Java, en s'appuyant sur des annotations et des propriétés formelles. L'outil est utilisé pour garantir la robustesse des systèmes critiques, comme les cartes à puce ou les applications embarquées, en identifiant les erreurs de logique ou les failles de sécurité avant leur déploiement.

VeriFast est un outil d'analyse statique formelle conçu pour vérifier la correction de programmes écrits en C et Java. Il permet de détecter des erreurs de typage, des violations de propriétés de sécurité et des bugs potentiels avant l'exécution. Utilisé principalement dans les domaines critiques comme les systèmes embarqués ou les applications sécurisées, il aide les développeurs à prouver que leur code respecte des spécifications formelles.

Contiki est un système d'exploitation open source conçu pour fonctionner sur des microcontrôleurs basse consommation. Il permet de développer des applications embarquées communicantes via des protocoles sans fil standardisés, optimisées pour une faible consommation d'énergie. Utilisé dans des domaines variés comme la surveillance environnementale, la gestion énergétique ou la sécurité, il facilite l'interconnexion et le contrôle de dispositifs physiques à distance.

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.

Ce projet consiste à concevoir et maintenir des logiciels intégrés directement dans des dispositifs électroniques. Il permet de contrôler le fonctionnement de matériel spécifique comme des capteurs, des cartes électroniques ou des systèmes embarqués. L'objectif est d'assurer une interaction optimale entre le matériel et les applications logicielles, tout en garantissant stabilité, sécurité et efficacité énergétique.

TRAITOR est une plateforme de détection de failles pour les systèmes électroniques, utilisant des circuits FPGA pour injecter des pannes spécifiques, aidant les chercheurs en sécurité à étudier les systèmes embarqués.

Le projet firmware est responsable de la gestion et du contrôle des systèmes embarqués, en assurant leur sécurité et en optimisant leur consommation énergétique. Il surveille également les paramètres environnementaux pour garantir le bon fonctionnement des dispositifs.

Ce projet permet de maintenir et d'automatiser la gestion des images conteneurisées utilisées dans un environnement informatique. Il facilite les mises à jour régulières des logiciels embarqués dans ces conteneurs, garantissant ainsi leur sécurité et leur performance. Il s'intègre dans une chaîne de services dédiés à l'administration système et à la maintenance applicative.