Fünf Vorstudien zu vertrauenswürdiger IT ausgeschrieben um Forschungslücken aufzudecken  

Symbolbild Ökosysteme vertrauenswürdiger IT. Quelle: @rawpixel.com - Freepik.com, lizensiert durch die Agentur für Innovation in der Cybersicherheit

Cyberagentur will digitale Souveränität Deutschlands stärken  Praktisch kein Prozessor in unseren Alltagsgeräten ist nachweisbar sicher, im Gegenteil, es gibt allgemein bekannte, teils nicht schließbare Schwachstellen. Die formale Verifikation von Software und Hardware sowie sichere Lieferketten sind aber fundamentale Voraussetzungen dafür, ganzheitlich beweisbar sichere Systembausteine einsetzen zu können. Bisher existiert weltweit kein entsprechendes Verfahren, das zu einer solchen gesamtheitlich betrachteten Verifikation … Read More