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.

Ce projet propose des actions GitHub pour scanner automatiquement les vulnérabilités critiques et non critiques dans les bases de code. Il permet d'identifier les failles de sécurité potentielles et de générer des rapports détaillés accessibles via l'onglet Sécurité de GitHub. L'objectif est d'aider les équipes de développement à renforcer la sécurité de leurs projets dès les premières étapes du cycle de vie du logiciel.

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.

Outil dédié à l'analyse et à la sécurisation des accès dans des environnements informatiques. Il permet d'identifier les failles potentielles, de vérifier les configurations et de détecter les comportements suspects. Utilisé principalement pour renforcer la sécurité des systèmes critiques ou des infrastructures sensibles.

Outil permettant d'évaluer la résistance des circuits électroniques aux injections de fautes, notamment pour sécuriser les processeurs. Il analyse la robustesse des designs contre des attaques matérielles en partitionnant les composants et en vérifiant leur intégrité. Utilisé dans le domaine de la cybersécurité matérielle, il aide à identifier les failles exploitables et à renforcer la fiabilité des systèmes critiques comme les CPU sécurisés.