Description du projet Trustworthy ICT Afficher les objectifs du projet Masquer les objectifs du projet 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.Yet 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.The 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.STANCE gathers the expertise of 10 organisations from 5 countries, including 4 leading industrial partners, 2 SMEs and 4 academic and research partners. Champ scientifique natural sciencescomputer and information sciencessoftwaresoftware applicationssystem software Programme(s) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Thème(s) ICT-2011.1.4 - Trustworthy ICT Appel à propositions FP7-ICT-2011-8 Voir d’autres projets de cet appel Régime de financement CP - Collaborative project (generic) Coordinateur COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES Contribution de l’UE € 1 164 245,00 Adresse RUE LEBLANC 25 75015 PARIS 15 France Voir sur la carte Région Ile-de-France Ile-de-France Paris Type d’activité Research Organisations Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée Participants (9) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire TECHNISCHE UNIVERSITAET GRAZ Autriche Contribution de l’UE € 353 276,00 Adresse RECHBAUERSTRASSE 12 8010 Graz Voir sur la carte Région Südösterreich Steiermark Graz Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée KATHOLIEKE UNIVERSITEIT LEUVEN Belgique Contribution de l’UE € 310 184,00 Adresse OUDE MARKT 13 3000 Leuven Voir sur la carte Région Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV Allemagne Contribution de l’UE € 455 283,00 Adresse HANSASTRASSE 27C 80686 Munchen Voir sur la carte Région Bayern Oberbayern München, Kreisfreie Stadt Type d’activité Research Organisations Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée INFINEON TECHNOLOGIES AG Allemagne Contribution de l’UE € 298 373,00 Adresse AM CAMPEON 1-15 85579 Neubiberg Voir sur la carte Région Bayern Oberbayern München, Landkreis Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée TRUSTED LABS SAS France Contribution de l’UE € 129 219,00 Adresse 6 RUE DE LA VERRERIE 92190 MEUDON CEDEX Voir sur la carte Région Ile-de-France Ile-de-France Hauts-de-Seine Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Coût total Aucune donnée THALES SIX GTS FRANCE SAS France Contribution de l’UE € 329 459,00 Adresse AVENUE DES LOUVRESSES 4 92230 Gennevilliers Voir sur la carte Région Ile-de-France Ile-de-France Hauts-de-Seine Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée DASSAULT AVIATION France Contribution de l’UE € 294 427,00 Adresse 9 ROND POINT CHAMPS-ELYSEES-MARCEL DASSAULT 75008 Paris Voir sur la carte Région Ile-de-France Ile-de-France Paris Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée ARTTIC France Contribution de l’UE € 229 134,00 Adresse 39 RUE DES MATHURINS 75008 Paris Voir sur la carte Région Ile-de-France Ile-de-France Paris Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG Hongrie Contribution de l’UE € 236 400,00 Adresse SZERUSKERT UTCA 19 1 EM 6 1033 Budapest Voir sur la carte Région Közép-Magyarország Budapest Budapest Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée