Gesucht: Ansätze für beweisbare IT-Sicherheit durch formale Verifikation

Neues Forschungsausschreibung „Ökosystem vertrauenswürdige IT“ (ÖvIT) sucht Konzepte für beweisbare IT-Sicherheit durch formale Verifikation. Foto: freepik/Cyberagentur

Neues Forschungsausschreibung „Ökosystem vertrauenswürdige IT“ Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) startet am 11. September 2023 eine Ausschreibung für das Forschungsprojekt „Ökosystem vertrauenswürdige IT“ (ÖvIT), um die Cybersicherheit von IT-Systemen zu stärken. Ziel ist die Entwicklung von Methoden zur formalen Verifikation von Sicherheitseigenschaften in Hard- und Software, um diese durchgängig beweisbar sicher zu machen. Angebote können bis … Read More

Fünf Vorstudien werden Forschungslücken ausleuchten

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

Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) vergibt Forschungsaufträge für fünf Vorstudien zur Stärkung der digitalen Souveränität Deutschlands. Ergebnisse sollen im Januar 2023 vorliegen.