TAGADA description

TAGADA is an automated tool based on Constraint Programming (CP) for searching and instantiating truncated differential characteristics. This tool is used in differential cryptanalysis, a method of attack against block ciphers.

Key features

• Declarative Pattern Generation: Instead of manually programming the search for differential paths, TAGADA generates a constraint model that describes the properties of a truncated differential characteristic. This model is then solved by a standard constraint solver.
• Truncated and Differential Characteristics Search : Truncated differential cryptanalysis is concerned with bit changes in data blocks, without regard to their exact value. TAGADA automates the search for these paths, which is particularly useful for modern block ciphers.
• Exploration of complex search spaces: The use of CP enables TAGADA to efficiently explore large and complex search spaces to find differential features with high probabilities, thus reducing attack development time.