Le projet pnm-audit-desktop est une solution dédiée à l'audit et à la sécurité des réseaux informatiques. Il permet d'analyser les systèmes en place, de détecter les vulnérabilités et de surveiller la conformité aux normes de sécurité en vigueur.

Ce service permet aux utilisateurs, chercheurs et partenaires de signaler les vulnérabilités ou erreurs détectées dans les produits et services numériques de la DINUM. Les signalements sont analysés pour renforcer la sécurité et la fiabilité des systèmes, conformément aux principes de transparence et de protection des données. La politique encadre ce processus en garantissant la confidentialité des rapporteurs et l'utilisation des informations uniquement pour corriger les failles.

Le projet AMI IA 2 de l'ANSSI est une solution d'intelligence artificielle dédiée à la sécurité des systèmes d'information. Il aide les organisations à détecter les menaces et les anomalies dans leurs réseaux, à analyser la sécurité de leur système d'information et à prendre des décisions éclairées en matière de cybersécurité.

Outil d'analyse de sécurité informatique développé par INRIA, permettant de détecter et de vérifier les vulnérabilités ainsi qu'évaluer les risques potentiels pour un système donné.

ADT2Maude est un outil permettant de modéliser des scénarios de sécurité à l'aide d'Arbres d'Attaque-Défense (AAD). Il permet de déterminer la configuration minimale nécessaire à la réalisation d'une attaque, offrant ainsi la possibilité d'analyser la robustesse de systèmes face à des attaques potentielles.

ASCAD est un projet visant à fournir des outils d'analyse de canaux latéraux et d'apprentissage profond pour la sécurité informatique. Il permet d'identifier et de détecter les fuites d'informations sensibles dans les systèmes informatiques, ainsi que d'évaluer leur robustesse. Grâce à l'apprentissage profond, ASCAD est capable d'analyser de grandes quantités de données de sécurité et de détecter des schémas complexes.

Usbsas est un outil et un framework open source permettant de lire en toute sécurité des clés USB non fiables. Il vise à réduire la surface d'attaque de l'empilement USB en déplaçant la plupart des tâches USB (analyse de paquets USB, commandes SCSI, systèmes de fichiers, etc.) habituellement exécutées dans l'espace noyau vers l'espace utilisateur, chaque tâche étant exécutée dans un mode informatique restreint.

Timbuk est un cadre de vérification régulier basé sur les Automates d'Arbres et les Systèmes de Réécriture de Termes. Il fournit un ensemble de bibliothèques pour créer et manipuler des Automates d'Arbres et des TRS, effectuer une analyse de faisabilité à l'aide de l'Algorithme de Complétion, et calculer des abstractions capables de vérifier des propriétés de sécurité sur des programmes fonctionnels de haut niveau.

Ce service permet de collecter et d'analyser les statistiques de fréquentation d'un site public. Il offre aux administrateurs un tableau de bord pour suivre les performances, identifier les tendances et optimiser l'expérience utilisateur. Le système inclut également des fonctionnalités de gestion des accès et de sécurisation des connexions pour protéger les données sensibles.

Drama Queen est une application web permettant de créer, diffuser et analyser des sondages en ligne. Elle offre des fonctionnalités de personnalisation avancées pour s'adapter aux besoins spécifiques de chaque sondage, ainsi qu'un système de collecte de données sécurisé et fiable.