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 pipeline automatisé permet d'analyser des données de séquençage RNAseq pour identifier les gènes exprimés de manière différentielle entre des échantillons biologiques. Il traite des données brutes issues de séquenceurs Illumina HiSeq, nettoie les séquences, aligne les lectures sur un génome de référence, compte les caractéristiques génomiques et détecte les gènes dont l'expression varie significativement. Utilisé principalement en recherche biomédicale et en génomique fonctionnelle.