Descrizione del progetto Trustworthy ICT Mostra l’obiettivo del progetto Nascondi l’obiettivo del progetto 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. Campo scientifico natural sciencescomputer and information sciencessoftwaresoftware applicationssystem software Programma(i) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Argomento(i) ICT-2011.1.4 - Trustworthy ICT Invito a presentare proposte FP7-ICT-2011-8 Vedi altri progetti per questo bando Meccanismo di finanziamento CP - Collaborative project (generic) Coordinatore COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES Contributo UE € 1 164 245,00 Indirizzo RUE LEBLANC 25 75015 PARIS 15 Francia Mostra sulla mappa Regione Ile-de-France Ile-de-France Paris Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato Partecipanti (9) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto TECHNISCHE UNIVERSITAET GRAZ Austria Contributo UE € 353 276,00 Indirizzo RECHBAUERSTRASSE 12 8010 Graz Mostra sulla mappa Regione Südösterreich Steiermark Graz Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato KATHOLIEKE UNIVERSITEIT LEUVEN Belgio Contributo UE € 310 184,00 Indirizzo OUDE MARKT 13 3000 Leuven Mostra sulla mappa Regione Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV Germania Contributo UE € 455 283,00 Indirizzo HANSASTRASSE 27C 80686 Munchen Mostra sulla mappa Regione Bayern Oberbayern München, Kreisfreie Stadt Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato INFINEON TECHNOLOGIES AG Germania Contributo UE € 298 373,00 Indirizzo AM CAMPEON 1-15 85579 Neubiberg Mostra sulla mappa Regione Bayern Oberbayern München, Landkreis Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato TRUSTED LABS SAS Francia Contributo UE € 129 219,00 Indirizzo 6 RUE DE LA VERRERIE 92190 MEUDON CEDEX Mostra sulla mappa Regione Ile-de-France Ile-de-France Hauts-de-Seine Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Costo totale Nessun dato THALES SIX GTS FRANCE SAS Francia Contributo UE € 329 459,00 Indirizzo AVENUE DES LOUVRESSES 4 92230 Gennevilliers Mostra sulla mappa Regione Ile-de-France Ile-de-France Hauts-de-Seine Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato DASSAULT AVIATION Francia Contributo UE € 294 427,00 Indirizzo 9 ROND POINT CHAMPS-ELYSEES-MARCEL DASSAULT 75008 Paris Mostra sulla mappa Regione Ile-de-France Ile-de-France Paris Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato ARTTIC Francia Contributo UE € 229 134,00 Indirizzo 39 RUE DES MATHURINS 75008 Paris Mostra sulla mappa Regione Ile-de-France Ile-de-France Paris Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG Ungheria Contributo UE € 236 400,00 Indirizzo SZERUSKERT UTCA 19 1 EM 6 1033 Budapest Mostra sulla mappa Regione Közép-Magyarország Budapest Budapest Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato