MAR-CI est un système d'intégration continue dédié à la validation et au test automatisé des codes sources du projet MAR. Il permet de vérifier la conformité des structures de fichiers, d'exécuter des pipelines de compilation et de test sur différentes configurations matérielles et logicielles, et de gérer des accès sécurisés aux dépôts privés. L'outil facilite la collaboration entre développeurs en automatisant les vérifications et en fournissant des rapports détaillés sur les résultats des tests.

GRR est une solution open source dédiée à la gestion et à la réservation de ressources matérielles ou humaines. Il permet aux organisations de planifier, suivre et administrer efficacement l'utilisation de leurs salles, équipements ou autres ressources partagées. L'outil offre une interface intuitive pour réserver, modifier ou annuler des créneaux, tout en garantissant un contrôle d'accès sécurisé et des fonctionnalités de personnalisation adaptées aux besoins spécifiques de chaque structure.

Le projet app-u2f2-usb consiste en une application dédiée à la sécurisation des accès distants et à l'authentification forte des utilisateurs. Il permet de protéger les données confidentielles grâce à une solution matérielle U2F2 USB.

Ce projet est un driver utilisateur pour le matériel de hachage STM32F4xx, permettant des fonctionnalités de contrôle d'accès sécurisé, de gestion de mots de passe et de vérification d'intégrité de données.

Librairie permettant l'abstraction de fonctionnalités de cartes à puce ISO7816, offrant une gestion sécurisée et simplifiée des accès matériels.

Bureautix est un modèle d'exemple dérivé de Sécurix, conçu pour illustrer la mise en place de postes de travail bureautiques sécurisés au sein d'organisations. Il propose une infrastructure minimaliste et reproductible, basée sur NixOS, permettant de déployer des stations de travail standardisées avec des comptes administrateurs préconfigurés. L'accent est mis sur la sécurité via l'utilisation de clés matérielles (LUKS FIDO2, PAM U2F) et l'absence de dépendances externes comme LDAP, favorisant une approche autonome et évolutive.

Libaes est une bibliothèque logicielle et matérielle accélérée par processeur dédiée au chiffrement AES. Elle permet de sécuriser les communications numériques et de protéger les données sensibles grâce à des algorithmes de cryptage robustes.