Securing Closed-Source Software in Society-Critical Systems

The project titled Securing Closed-Source Software in Society-Critical Systems, identified by solicitation number NGF.1678.25.005, focuses on the research and development of methods to identify bugs and security anomalies within closed-source software. This initiative addresses the critical lack of source code access in high-tech equipment, which often obscures potential vulnerabilities and operational risks in essential infrastructure. Managed by the Nederlandse Organisatie voor Wetenschappelijk Onderzoek under the agency Toegepaste en Technische Wetenschappen, the scope of the work extends across various society-critical sectors. Key application areas include defense systems, satellites, and smart greenhouses, ensuring that the software regulating these complex environments is secure and reliable.