Tagada est un outil spécialisé dans la cryptanalyse différentielle automatisée. Il permet de générer des modèles déclaratifs pour analyser la sécurité des chiffrements par blocs comme AES. Le projet facilite la recherche de caractéristiques différentielles et la visualisation des graphes cryptographiques associés, aidant ainsi les chercheurs et cryptanalystes à évaluer la robustesse des algorithmes de chiffrement.

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.

Ce projet consiste en une analyse différentielle d'arbres à partir de données génomiques. Il permet de rechercher des variations génétiques et d'analyser les différences entre différents groupes d'individus.