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.