Ce projet permet de simuler et de contrôler le fonctionnement d'un moteur, en surveillant des paramètres tels que la température et la pression. Il peut être utilisé pour détecter et alerter en cas de défaillance ou de dysfonctionnement du moteur.

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.

Ce projet vise à aider à la détection de fuites de routage BGP en analysant les données de vues complètes BGP. Il propose une nouvelle méthodologie pour identifier les fuites de routage et l'applique sur les données BGP de 2014, 2015 et 2016. Cette méthodologie a permis de détecter plusieurs dizaines de milliers de fuites de routage chaque année.

Ce package fournit un script permettant d'effectuer une analyse statique de code source C, dans le but de détecter d'éventuelles fuites de données dues à des attaques de type canal side channel.

Fermeture éclair est une application conçue pour automatiquement fermer votre dépôt GitHub lorsqu'une violation de sécurité est détectée par GitGuardian. Cela vous donne plus de temps pour réagir de manière appropriée à la fuite.

Le projet tata-java est un outil d'analyse de code source permettant de détecter les fuites d'informations sensibles. Il identifie les méthodes sources et puits dans le code et gère les informations associées. Cet outil est basé sur les frameworks Soot et SLF4J, et utilise la bibliothèque JSON-simple pour le traitement des données.

GoSup est un outil en C/C++ permettant d'améliorer l'opacité de modèles de systèmes discrets événementiels en utilisant le Graphique d'Observation Symbolique Hybride (H-SOG). Il permet de détecter et de gérer les fuites d'information dans ces systèmes.

MemCAD est un analyseur statique qui effectue une analyse de la forme dans le code source. Il permet de détecter les fuites de mémoire et d'optimiser l'utilisation de la mémoire.

Projet Ganelon visant à détecter les lieux géographiques dans un texte proposé en interrogeant un LLM pour obtenir une réponse sous un format informatique. Les modèles utilisés sont disponibles sur la plateforme Hugging Face.