Launch of BI’s new Formula-V Project: Verified Security from the Ground Up

A few weeks ago, the project “Formula-V” had its first in-person meeting at the Barkhausen Institut (BI). As project manager, the BI welcomed the project partners to plan the next steps and to discuss key topics.

Formula-V focuses on developing a formally verified system that meets the highest standards for security, data protection, and trustworthiness. By using mathematical and logical proofs, the project aims to ensure system correctness. With a combination of software and hardware verification, it seeks to provide a reliable foundation for secure applications. The BI plays a key role by exploring innovative verification techniques to ensure the system's security and trustworthiness.

Dr. Christoph Hof from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) provided insights into the EVIT program (Ecosystem Formally Verifiable IT – Provable Cybersecurity), through which the project Formula-V is funded. The EVIT program supports research and development of technologies, methods, and tools for end-to-end formally verified software and hardware components. It also aims to build an ecosystem of developers and users to enable automated verification for increasingly complex systems.

With Formula-V, the Barkhausen Institut strengthens its commitment to building a trustworthy digital future by pioneering methods that ensure security from the ground up.