Ausschreibung "Analyse Programm CryptoMiniSat"

Öffentliche Ausschreibung

Analyse Programm CryptoMiniSat

Gegenstand der Ausschreibung

Das Programm CryptoMiniSat ist eines der besten Open-Source SW-Pakete für die Lösung von aussagenlogischen Erfüllbarkeitsproblemen (SAT-Problemen) aus dem Bereich der Kryptoanalyse. Es handelt sich um einen kompletten Depth-First-Search Solver, dessen Quellcode ca. 50.000 Zeilen in moderner OO-Sprache umfasst.
Der Auftragnehmer identifiziert und analysiert im Rahmen einer Machbarkeitsstudie mögliche Lösungsansätze zur Steigerung von Effizienz und / oder Effektivität von "CryptoMiniSat" durch Softwareoptimierungen / Softwareerweiterungen. Dabei sind die Erfolgsaussichten der ermittelten Lösungsansätze sowie die für deren Umsetzung benötigten Aufwände abzuschätzen.
Zur Vorbereitung der Machbarkeitsstudie ist vom Auftragnehmer zunächst eine umfassende statische und dynamische Analyse des gesamten Source-Codes von CryptoMiniSat zu erstellen (High-Level Code-Review).
Die praktische Umsetzung der vom Auftragnehmer im Rahmen der Machbarkeitsstudie beschriebenen Lösungsansätze ist nicht Teil der hier zu vergebenden Leistung.

Art des Auftrags

Lieferauftrag & Dienstleistung

Erfüllungsort (Bundesland):

Bundesweit

Die Ausschreibung ist bereits beendet, weil die Angebotsfrist abgelaufen ist.
Eine Bewerbung um diesen Auftrag ist nicht mehr möglich.

Auftraggeber

53175 Bonn

Eintragsdatum: 10.03.2017
Angebotsfrist: 27.04.2017