Outil de surveillance automatisée des vulnérabilités de sécurité dans les produits numériques. Il analyse en continu les dépôts Git des organisations pour identifier les failles critiques ou élevées, les déduplique et les stocke dans une base centralisée. Le système génère des alertes par email pour les équipes concernées et produit des rapports détaillés afin d'accélérer la correction des vulnérabilités et renforcer la posture de sécurité globale.

Outil dédié à l'inspection automatisée de systèmes informatiques, permettant d'identifier des vulnérabilités, des anomalies ou des écarts par rapport à des normes ou des configurations attendues. Il génère des rapports détaillés pour faciliter l'analyse et la correction des problèmes détectés, optimisant ainsi la maintenance et la sécurité des infrastructures.

Tagada est un outil open source dédié à la cryptanalyse différentielle automatisée. Il permet de modéliser des algorithmes de chiffrement sous forme de graphes, de générer des attaques différentielles et d'analyser les caractéristiques tronquées pour identifier des vulnérabilités dans les systèmes cryptographiques. Utilisé principalement par les chercheurs et les experts en sécurité, il facilite l'étude des propriétés des chiffrements symétriques et asymétriques.

Outil dédié à la modélisation, l'analyse et la simulation de protocoles de sécurité pour les systèmes communicants. Il permet de générer des cas de test automatisés, d'identifier des vulnérabilités potentielles et de valider des propriétés de sécurité via des modèles formels. Utilisé principalement dans le domaine de la cybersécurité et de la vérification de systèmes.

Mimosa est une plateforme dédiée à la gestion, l'acquisition et l'analyse de données scientifiques en temps réel. Elle permet aux chercheurs et ingénieurs de collecter, stocker et visualiser des données expérimentales issues de divers instruments. Le système offre des outils pour le monitoring continu, l'archivage sécurisé et la génération de rapports automatisés, facilitant ainsi la prise de décision et l'optimisation des processus expérimentaux.

RKC_RB100 est un projet dédié à la gestion, l'optimisation et la sécurisation de bases de données relationnelles. Il permet aux utilisateurs de manipuler des données de manière efficace, d'automatiser des requêtes complexes et d'améliorer les performances des systèmes. Le projet inclut également des outils pour analyser les données et garantir leur intégrité.