Hauptgegenstand des Projektes ist die Entwicklung eines Software-Tools für die automatisierte Pfadsuche für die differentielle und lineare Kryptoanalyse von symmetrischen Chiffre. Um für das BSI relevante und geeignete Ansätze für eine automatisierte Pfadsuche mit MILP- Optimierer oder SAT-Solvern zu identifizieren, ist zunächst eine Literaturrecherche durchzuführen. Dazu sind alle wesentlichen, in der wissenschaftlichen Literatur bekannten Ansätze zusammenzustellen und zu beschreiben. Nachfolgend sind diese Ansätze bezüglich Relevanz, Anwendbarkeit und Effizienz zu bewerten. Das zentrale Ziel des Projektes ist die Implementierung verschiedener Ansätze - der automatisierten Pfadsuche basierend auf SAT-Solvern und - der automatisierten Pfadsuche basierend auf MILP-Optimierern. Anschließend sind die Implementierungen an verschiedenen gängige Chiffrentypen (SPN mit großen und kleinen S-Boxen, ARX, etc.) zu testen und zu optimieren. Die Implementierungen müssen in das bestehende BSI-Framework für Kryptoanalyse integriert werden.