<p>➀ 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.</p><p>➁ The program aims to verify the formal security of IT systems and establish a network of experts and users to enhance IT security.</p><p>➂ 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.</p>