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

Published

31 January 2024

Place of performance

DEA22

Procedure

open

Lots

1

Notice number

00064372-2024

Reference

4cf6983e-39b0-4703-8058-dff00642ee55

Official source

Official source

CPV codes

• 72000000Servicios TI: consultoría, desarrollo de software, Internet y apoyo

Description

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.

Frequently asked questions

Who is the buyer of this tender?

The contracting authority is Bundesamt für Sicherheit in der Informationstechnik (European Union).