Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

STANCE

Financiado

Cerrado

A Source code analysis Toolbox for software security AssuraNCE

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... ver más

31/03/2016

CEA

6M€

Presupuesto del proyecto: 6M€

Líder del proyecto

COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENER... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 10 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2016-03-31 No tenemos la información de la convocatoria

0% 68% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

10 Participantes

CEA

0.00€ | Lider

TRUSTED LABS

N.D. | Participante

KU Leuven

N.D. | Participante

DASSAULT AVIATION

N.D. | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

REVEN-X1 REVEN X1 Automatic Vulnerability Detection in Binary 71K€ Cerrado

NOVEDOSA HERRAMIENTA PARA EL ANÁLISIS DE LA S... NOVEDOSA HERRAMIENTA PARA EL ANÁLISIS DE LA SEGURIDAD Y LA C... 609K€ Cerrado

ADVNACED WEB THEATS DETECTION AWTD ADVNACED WEB THEATS DETECTION AWTD 2M€ Cerrado

ProSVED Projection of Security Vulnerabilities caused by Exploits in... Cerrado

NESSoS Network of Excellence on Engineering Secure Future Internet... 5M€ Cerrado

EEBB-I-12-05620 VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG... 2K€ Cerrado

Líder del proyecto

COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENER... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 6M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores