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.

Projet académique visant à analyser et comparer les performances et la sécurité des algorithmes cryptographiques face aux attaques par canaux auxiliaires. Il propose des outils pour évaluer les fuites temporelles et valider des propriétés de mémoire constante, notamment via des modes sécurisés (exposé, verrouillé, sans branchement, etc.). Les résultats sont générés sous forme de fichiers CSV pour faciliter l'analyse comparative.

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 contient le code pour l'article 'New Models for the Cryptanalysis of ASCON' qui présente de nouveaux modèles pour l'analyse de la sécurité de l'algorithme de chiffrement ASCON. Il s'agit d'une recherche en cryptographie symétrique.

Outil d'analyse et d'estimation dédié aux gadgets de masquage utilisés en cryptographie. Il permet d'évaluer les performances en cycles CPU et les coûts mémoire des algorithmes de masquage sur différentes architectures de microcontrôleurs. Le projet facilite la comparaison des configurations et l'optimisation des paramètres pour des applications sécurisées, en intégrant une bibliothèque extensible de gadgets et des exemples de configurations matérielles et de masquage.