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.

Ce projet est un outil de recherche en cryptanalyse qui permet de trouver des stratégies optimales de récupération de clés dans les attaques différentielles sur les chiffrements par blocs. Il génère des graphes de ces stratégies et analyse leur complexité temporelle et mémoire.