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

Forschungsprojekt zur digitalen Forensik ausgeschrieben

Neues Forschungsprojekt „Forensik intelligenter Systeme“ ausgeschrieben. Foto: freepik/Cyberagentur

Cyberagentur will Manipulation intelligenter Systeme rechtssicher detektieren Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) hat am 8. September 2023 die neue Projektausschreibung „Forensik intelligenter Systeme“ veröffentlicht. Mit dem Forschungsauftrag sollen Manipulationen an sich weiterentwickelnden intelligenten Systemen mithilfe von neuen forensischen Methodiken und Tools detektierbar und rechtssicher nachweisbar gemacht werden. Die forensische Untersuchung von KI-Systemen hat eine hohe Relevanz für die … Read More

Sichere Datenverarbeitung direkt in der verschlüsselten Domäne

Die Cyberagentur möchte mit der neuen Forschungsfrage die neueren kryptografischen Konzepte wie Encrypted Computing (EC) und Privacy-Enhancing Cryptography (PEC) erforschen lassen. Foto: freepik/Cyberagentur

Ausschreibung der Cyberagentur zur Direktverarbeitung verschlüsselter Daten mittels neuer kryptographischer Techniken Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) veröffentlichte am 6. September 2023 eine Ausschreibung zur Erforschung bislang noch wenig verbreiteter kryptographischer Techniken. Die vier Forschungsthemen des Projekts „Encrypted Computing“ basieren auf den Erkenntnissen der Vorstudie aus dem letzten Jahr. Etablierte kryptographische Verfahren ermöglichen üblicherweise den Schutz vor … Read More