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 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.

Ce projet fournit une couche logicielle pour interagir avec des systèmes embarqués utilisant le protocole IPBUS. Il permet de configurer, programmer et diagnostiquer des cartes électroniques équipées de FPGA, notamment pour la gestion de mémoire flash et la communication sécurisée avec le matériel. Utilisé principalement dans des environnements de recherche et d'industrie pour le développement et la maintenance de systèmes électroniques complexes.

Ce projet propose des ressources pédagogiques dédiées à la sûreté de fonctionnement dans le domaine de l'embarqué. Il inclut des cours théoriques et des travaux pratiques pour former les étudiants ou professionnels aux bonnes pratiques et méthodes de sécurisation des systèmes embarqués.

Plateforme numérique conçue pour servir de vitrine interactive et embarquable en iframe, dédiée à la diffusion de contenus publics. Elle permet aux utilisateurs d'accéder à des informations structurées (textes, images, listes) via des sections personnalisables et modifiables par une interface d'administration. La solution inclut un système de mesure d'audience pour suivre les interactions des visiteurs et s'intègre facilement dans des sites partenaires grâce à une configuration sécurisée.

LightweightCryptoCiphers propose une collection d'algorithmes de chiffrement légers conçus pour les environnements contraints en ressources. Ces solutions permettent de sécuriser les données tout en minimisant l'impact sur les performances des systèmes embarqués ou IoT. Adaptés aux besoins des développeurs, ces outils facilitent l'intégration de mécanismes de protection robustes sans complexité excessive.

QRTone est une bibliothèque open source permettant d'échanger des données entre appareils via des ondes sonores. Elle convertit les données en mélodies de fréquences duales, utilisables par haut-parleurs et microphones. Adaptée aux environnements acoustiques perturbés, elle intègre un code correcteur d'erreurs pour reconstruire les données perdues. Idéale pour des transferts sécurisés à courte distance, elle est compatible avec les applications Android et les systèmes embarqués.

EwoK est un microkernel hautement sécurisé conçu pour les systèmes embarqués et les micro-contrôleurs. Il assure une forte isolation entre les tâches et les pilotes de périphériques, ainsi qu'un contrôle d'accès strict aux ressources physiques.