Komplexitätstheoretische und algorithmische Eigenschaften Boolescher Funktionen mit Bezug zur Kryptographie

点击翻译按钮获取中文摘要

Das Vorhaben zielt auf eine Weiterentwicklung der Komplexitätstheorie Boolescher Funktionen in zentralen Bereichen. Das betrifft erstens die Arbeit an Problemen bezüglich Berechnungskraft und algorithmischen Eigenschaften grundlegender nichtuniformer Berechnungsmodelle. Ein zweiter Schwerpunkt ist durch eine ansatzweise vorhandene Theorie gegeben, die die Schwierigkeit von Untere-Schranken- und Lernbarkeits-Problemen anhand kryptographischer Kriterien klassifiziert. Durch Aufdeckung weiterer allgemeiner Zusammenhänge und die Bestimmung der Komplexität kryptographischer Grundbausteine in verschiedenen Modellen soll diese Theorie verfeinert und ausgedehnt werden. Drittens sollen vor dem Hintergrund des Methodenreservoirs der Booleschen Komplexitätstheorie Beiträge zu Analyse und Design von Kryptosystemen erbracht werden. Das betrifft z.B. hardwareeffiziente Flusschiffren und Sicherheitsbeweise für kryptographische Protokollstrukturen.