STANCE

A Source code analysis Toolbox for software security AssuraNCE

Coordinatore	COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES    more  Organization address address: CEA Saclay - Nano-INNOV - Bat 862 PC 174 city: Gif sur Yvette postcode: 91191 contact info Titolo: Mrs. Nome: Adriana Cognome: CARLOGANU Email: send email Telefono: +33 1 69089439
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

#	participant	country	role	EC contrib. [€]
1	COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES  Organization address address: CEA Saclay - Nano-INNOV - Bat 862 PC 174 city: Gif sur Yvette postcode: 91191 contact info Titolo: Mrs. Nome: Adriana Cognome: CARLOGANU Email: send email Telefono: +33 1 69089439	FR (Gif sur Yvette)	coordinator	0.00
2	ARTTIC  Organization address address: Rue du Dessous des Berges 58A city: PARIS postcode: 75013 contact info Titolo: Dr. Nome: Papon Cognome: Papon Email: send email Telefono: +33 1 53 94 54 64 Fax: +33 1 53 94 54 70	FR (PARIS)	participant	0.00
3	DASSAULT AVIATION SA  Organization address address: Rond-Point des Champs-Elysees - Marcel Dassault 9 city: PARIS postcode: 75008 contact info Titolo: Mrs. Nome: Claire Cognome: Lallemand Email: send email Telefono: +33 1 47 11 64 94	FR (PARIS)	participant	0.00
4	FRAUNHOFER-GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V  Organization address address: HANSASTRASSE 27C city: MUNCHEN postcode: 80686 contact info Titolo: Mr. Nome: Tobias Cognome: Rechmann Email: send email Telefono: 492241000000	DE (MUNCHEN)	participant	0.00
5	INFINEON TECHNOLOGIES AG  Organization address address: AM CAMPEON 1-12 city: NEUBIBERG postcode: 85579 contact info Nome: Mingxia Cognome: Wu-Lutzenberger Email: send email Telefono: +49 89 234 20713	DE (NEUBIBERG)	participant	0.00
6	KATHOLIEKE UNIVERSITEIT LEUVEN  Organization address address: Oude Markt 13 city: LEUVEN postcode: 3000 contact info Titolo: Ms. Nome: Sofie Cognome: Heroes Email: send email Telefono: +32 16 329979 Fax: +32 16 326515	BE (LEUVEN)	participant	0.00
7	SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLT FELELOSSEGU TARSASAG  Organization address address: SZERUSKERT UTCA 19 city: Budapest postcode: 1033 contact info Titolo: Mr. Nome: István Cognome: Nyilas Email: send email Telefono: 3612053098 Fax: 3612053099	HU (Budapest)	participant	0.00
8	TECHNISCHE UNIVERSITAET GRAZ  Organization address address: RECHBAUERSTRASSE 12 city: GRAZ postcode: 8010 contact info Titolo: Prof. Nome: Roderick Cognome: BLOEM Email: send email Telefono: +43 316 873 5580 Fax: +43 316 873 105514	AT (GRAZ)	participant	0.00
9	THALES COMMUNICATIONS & SECURITY SAS  Organization address address: AVENUE DES LOUVRESSES 4 city: GENNEVILLIERS postcode: 92230 contact info Titolo: Dr. Nome: Sylvie Cognome: RAYNAUD Email: send email Telefono: 33146132642	FR (GENNEVILLIERS)	participant	0.00
10	TRUSTED LABS SAS  Organization address address: RUE DU BAILLIAGE 5 city: VERSAILLES postcode: 78000 contact info Titolo: Dr. Nome: Boutheina Cognome: CHETALI Email: send email Telefono: 33130972607 Fax: 33130972619	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.