Projekt 648 - Automatisierte Pfadsuche für symmetrische Kryptoanalyse (AutoPath)

nsä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ätz

e 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 basi