Per Anhalter durch den Cyberraum

Die Cyberagentur hat in diesem Jahr Jens Hüttenberger als Science-Fiction-Autor eingestellt. Er soll einen Roman schreiben, um cybersicherheitsrelevante Zukunftsszenarien für ein größeres Publikum zu entwerfen. Mit Marcel Roth bespricht er, warum er sich für Quantencomputer entschieden hat und weshalb er Wert auf korrekte Physik legt.

Es ist eines der grundlegendsten Forschungsvorhaben der Cyberagentur: formale Verifikation. Sie kann mit Logik und Mathe beweisen, dass eine Soft- oder Hardware sicher ist. Welche enormen Auswirkungen das auf unsere IT haben kann, bespricht Marcel mit zwei Informatikern: Dr. Dirk Pollmächer von der Cyberagentur und Dr. Sebastian Ertel vom Barkhausen Institut. Eine Vision der beiden: mit formaler Verifikation lässt sich auch KI grundlegend sicher machen.

Für die Cybersicherheitsforschung vergibt die Cyberagentur 2026 mehr als 100 Millionen Euro. Damit das Geld am besten wirkt, ist es enorm wichtig, wie es ausgegeben wird. Innovative Vergabeverfahren helfen dabei. Als wohl einzig Institution nutzt die Cyberagentur als Standard das PCP-Verfahren. Was das ist, wie es noch besser wird und warum Juristen mutiger werden müssen, darüber spricht Marcel Roth mit Rudolf Imiella, Vergabeexperte der Cyberagentur, und mit Martin Matt, ein Preisträger eines innovativen Vergabeverfahrens der Cyberagentur.

Drohnen erkennen und schützen - elektronische Kampfführung arbeitet mit allen Funkwellen im elektromagnetischen Spektrum. Marcel Roth spricht mit Forscher Florian Euchner von der Uni Stuttgart und mit Julian Laufs von der Cyberagentur. Florian ist ein Gewinner der SPECTRA-Challenge der Cyberagentur - sein Gerät kann Drohnen und gegnerische Sender orten. Und das für kleines Geld.