Research on software security
and complex systems
Technical research, analysis and perspectives on cybersecurity, static analysis and reliable software engineering.
Publications
Static Analysis Tools for Embedded C and C++ (2026): A Practical Comparison
Visao, Coverity, Polyspace, Klocwork, CodeSonar, Parasoft C/C++test, Perforce QAC, Astrée, PVS-Studio, Cppcheck and Clang Static Analyzer compared by analysis method, standards support, workflow and best fit.
Read publicationAI Risk Landscape 2026: Security, Safety and Business Risks of Artificial Intelligence
An independent research report on the AI risk landscape - covering security, data, operational, governance and safety risks of modern AI systems, with a practical risk matrix and mitigation framework.
Read publicationEmbedded Testing Companies in Europe (2026): An Independent Market Research Report
An independent overview of embedded software testing and verification companies in Europe, covering engineering services, static analysis, functional safety, cybersecurity and test automation.
Read publicationCybersecurity Companies in Portugal: Different Approaches to Protecting Modern Software
An overview of Portugal's cybersecurity landscape, covering security services, vulnerability research, static analysis and approaches for protecting complex software systems.
Read publicationLooking beyond traditional cybersecurity?
Discover how advanced software analysis, static analysis and vulnerability research help protect modern software systems.
Start your pilot