Enschede-based Qbaylogic will join forces with international research teams and industry partners to revolutionize digital security. In the Ecosystem Formally Verifiable IT – Provable Cybersecurity (EVIT) project, they plan to tackle the challenge of creating systems that are mathematically proven to be secure from the ground up. The German government agency for cybersecurity innovation, Cyberagentur, has committed 42 million euros to the initiative.
The EVIT program aims to research and develop technologies, methods and tools for end-to-end formally verified software and hardware components. It also seeks to establish an ecosystem of developers and users. The goal is to make formal verification possible for more complex systems, in an automated fashion. The initial project will run for five years, with the possibility of a five-year follow-up.
Current IT security follows a predictable but problematic pattern. Hackers discover vulnerabilities, developers create patches and the cycle continues with new vulnerabilities emerging. The EVIT partners want to break the cycle. “Instead of playing this endless game of cat and mouse with hackers, we’re developing technologies that allow us to mathematically prove the security of systems before they go live,” explains Felix Klein of Qbaylogic. “This represents a complete paradigm shift in how we think about system security.”
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
