STANCE
A Source code analysis Toolbox for software security AssuraNCE
| Coordinatore | COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
Organization address
address: CEA Saclay - Nano-INNOV - Bat 862 PC 174 contact info |
| Nazionalità Coordinatore | France [FR] |
| Totale costo | 5˙565˙720 € |
| EC contributo | 3˙800˙000 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2011-8 |
| Funding Scheme | CP |
| Anno di inizio | 2012 |
| Periodo (anno-mese-giorno) | 2012-10-01 - 2015-09-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
Organization address
address: CEA Saclay - Nano-INNOV - Bat 862 PC 174 contact info |
FR (Gif sur Yvette) | coordinator | 0.00 |
| 2 |
ARTTIC
Organization address
address: Rue du Dessous des Berges 58A contact info |
FR (PARIS) | participant | 0.00 |
| 3 |
DASSAULT AVIATION SA
Organization address
address: Rond-Point des Champs-Elysees - Marcel Dassault 9 contact info |
FR (PARIS) | participant | 0.00 |
| 4 |
FRAUNHOFER-GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V
Organization address
address: HANSASTRASSE 27C contact info |
DE (MUNCHEN) | participant | 0.00 |
| 5 |
INFINEON TECHNOLOGIES AG
Organization address
address: AM CAMPEON 1-12 contact info |
DE (NEUBIBERG) | participant | 0.00 |
| 6 |
KATHOLIEKE UNIVERSITEIT LEUVEN
Organization address
address: Oude Markt 13 contact info |
BE (LEUVEN) | participant | 0.00 |
| 7 |
SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLT FELELOSSEGU TARSASAG
Organization address
address: SZERUSKERT UTCA 19 contact info |
HU (Budapest) | participant | 0.00 |
| 8 |
TECHNISCHE UNIVERSITAET GRAZ
Organization address
address: RECHBAUERSTRASSE 12 contact info |
AT (GRAZ) | participant | 0.00 |
| 9 |
THALES COMMUNICATIONS & SECURITY SAS
Organization address
address: AVENUE DES LOUVRESSES 4 contact info |
FR (GENNEVILLIERS) | participant | 0.00 |
| 10 |
TRUSTED LABS SAS
Organization address
address: RUE DU BAILLIAGE 5 contact info |
FR (VERSAILLES) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
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 the verification and secure exploitation of legacy and commercial-off-the-shelf components.nYet in the domain of security, program analysis techniques are still in infancy. They face several challenges, among which the incomplete detection of security flaws, and limited support both for programming languages and industrial verification procedures. These challenges are hindering the adoption of program analysis tools as part of security assurance practices and certification standards compliance checks.nThe objective of STANCE is to drive scientific and technological breakthroughs in the domain of software security. Over three years, STANCE will define, implement and validate a set of program analysis tools capable of verifying the security of complex software systems made in C, C\ and Java. STANCE proposes to build on existing assets: formal methods, state-of-the-art static and dynamic program analysis tools, security evaluation expertise, and industry-specific knowledge will be used and significantly extended. The resulting program analysis toolbox and supporting methods will increase the trustworthiness and the cost-effectiveness of existing security-oriented processes. These innovations will durably alter the domain of software security assurance, with broad consequences on its legal, societal, and economic aspects.nSTANCE gathers the expertise of 10 organisations from 5 countries, including 4 leading industrial partners, 2 SMEs and 4 academic and research partners.