Tagada-specs est une bibliothèque dédiée à la description et à la génération de spécifications pour des algorithmes de chiffrement. Elle permet aux utilisateurs de modéliser des ciphers existants ou d'en implémenter de nouveaux via une API haut niveau. L'outil facilite la création de graphes de spécifications pour des chiffrements comme Rijndael, WARP ou Skinny, en fournissant des utilitaires pour décrire les étapes de transformation et les clés.