Ecosystem verifably secure IT--provable cybersecurity
- Speaker(s): Christian Schulze
- email: schulze@cyberagentur.de
Talk
Abstract
IT systems are becoming increasingly complex and therefore more susceptible to security-critical errors. Common programming and testing methods can prevent and find many errors in hardware and software, but can never show their complete absence. This is where formal verification comes into play. In this talk we present the EvIT program (Ecosystem Formally Verifiable IT – Provable Cybersecurity), financed with 42 million Euros by the Cyberagentur. The EVIT program aims to research and develop technologies, methods, and tools for end-to-end formally verified software and hardware components. New formal verification techniques for the hardware and the hardware-software interface aim at avoiding transient execution side channel attacks. EVIT also seeks to establish an ecosystem of developers and users. To this end, the projects aim to make formal verification automatically applicable to more complex systems in the future. We provide an overview of the five funded projects with their complementary approaches and of future opportunities to get involved in the community-building.
Additional information
You can find more information about the EvIT program on our webpage: https://www.cyberagentur.de/en/programs/evit/ or stay up to date via LinkedIn: https://www.linkedin.com/showcase/ecosystem-of-formally-verified-it/