Per Anhalter durch den Cyberraum

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.

6G, Bionetzwerke, molekulare Kommunikation und intelligente Oberflächen sind neue Arten von Kommunikationstechnologien. Wie sie sich schützen lassen - darüber spricht Marcel Roth mit Professor Eduard Jorswiek von der TU Braunschweig und Dr. Fabian Schrumpf von der Cyberagentur.