Ce projet propose un ensemble de compétences (skills) pour les assistants de code IA, destinées à intégrer les standards du développement dans l'État français. Il inclut des interfaces conformes au Design System de l'État, des outils d'auto-évaluation d'accessibilité RGAA, des guides de sécurité ANSSI, et des APIs de data.gouv.fr. Les skills officielles sont portées par la DINUM, tandis que les expérimentales sont proposées avec des avertissements.

Ce projet vise à faciliter le déploiement et la gestion de systèmes Debian au sein d'environnements utilisant des annuaires Active Directory. Il permet aux administrateurs système d'automatiser les configurations, d'harmoniser les politiques de sécurité et de simplifier la maintenance des postes ou serveurs Linux. L'objectif est de réduire les temps d'intervention tout en garantissant une intégration fluide avec les infrastructures existantes.

Ce projet fournit une image conteneurisée pour faciliter le déploiement et la gestion de services informatiques au sein d'un environnement EOLE. Il permet une intégration fluide avec des outils DevOps pour automatiser les processus de déploiement, de test et de maintenance, tout en assurant une sécurité renforcée et une optimisation des ressources. Destiné aux administrateurs système et aux développeurs, il simplifie la gestion des services en conteneurs.

Solution intégrée dédiée à la gestion des infrastructures de sécurité pour les systèmes d'information critiques. Elle permet de générer, valider et administrer des certificats électroniques, sécuriser les communications via TLS, et auditer les échanges pour garantir la conformité aux normes internationales. Utilisée principalement dans les domaines de la santé et des services publics, elle assure l'authenticité, l'intégrité et la confidentialité des données.

Filebeat est un outil léger conçu pour collecter, agréger et transférer les logs depuis divers systèmes vers des plateformes de traitement ou de stockage. Il permet aux administrateurs et aux équipes DevOps de surveiller en temps réel les activités des serveurs, applications et services, facilitant ainsi la détection proactive des problèmes et l'analyse des performances. Intégré à l'écosystème Elastic Stack, il simplifie la gestion des données de journalisation pour améliorer la sécurité et l'efficacité opérationnelle.

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.

RV-SecureBIP est un outil prototype conçu pour vérifier et renforcer la sécurité des flux d'information dans les systèmes basés sur des composants. Il utilise un cadre de travail dédié pour analyser statiquement les dépendances de sécurité et intègre un moniteur qui propage et maintient les niveaux de sécurité en temps réel. L'outil permet de contrôler dynamiquement l'exécution d'applications tout en garantissant la conformité aux annotations de sécurité définies dans le modèle.

Ce cadre de cohérence technique s'adresse aux développeurs, architectes et acteurs gérant l'élaboration et le maintien de systèmes numériques. Il décline la doctrine cloud au centre de l'Etat et promeut le cloud en premier 'cloud first', le mode produit avec un fonctionnement en équipe intégrée et l'agilité. Le respect de ce cadre permet à la direction d'application l'usage du socle de déploiement et de sécurité Cloud Pi Native.

Outil dédié à la supervision de systèmes informatiques avec intégration de correctifs spécifiques. Il permet de surveiller l'état des infrastructures, d'appliquer des mises à jour et d'assurer la stabilité des environnements techniques. Utilisé principalement par les équipes DevOps et d'administration système pour maintenir les performances et la sécurité des systèmes.