➀ Cyberagentur, an organization dedicated to cybersecurity innovation in Germany, has signed contracts with five companies for the 'Ecosystem of Verifiably Secure IT' (ÖvIT) research program.
➁ The program aims to verify the formal security of IT systems and establish a network of experts and users to enhance IT security.
➂ The initiative includes collaborations with international partners, such as Barkhausen Institut gGmbH and QBayLogic B. V., and aims to foster a community of researchers, providers, and users.