Wanted: Approaches for provable IT security through formal verification
New research call “Trustworthy IT ecosystem” On September 11, 2023, the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) will launch a call for proposals for the research project “Ecosystem Trustworthy IT” (ÖvIT) to strengthen the cybersecurity of IT systems. The aim is to develop methods for the formal verification of security properties in hardware […]
Research project on digital forensics advertised
Cyberagentur wants to detect manipulation of intelligent systems with legal certainty The Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) published the new project called “Forensics of Intelligent Systems” on 8th September 2023. The research project is intended to make manipulations of self evolving intelligent systems detectable and legally verifiable with the help of new […]