CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
STANCE focuses on enhancing software security through program analysis tools that verify the integrity of complex software systems. The project aims to improve the detection of vulnerabilities in programming languages like C, C++, and Java.
The immunity of a system to malicious third parties trying to modify its behaviour (e.g. to perform unauthorized actions) is called security.
Ensuring this feature in information and communication technologies is a requirement for establishing a trustworthy Information Society.
Several strategies can be explored to deal with this problem.
One of them, called program analysis, relies on formal techniques to semi-automatically detect unintended behaviours in software systems.
This approach allows…
COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Austria, Graz
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Belgium, Leuven
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Germany, Neubiberg
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
