Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

EUIN2017-89198

Financiado

INTERPRETACION HIPERABSTRACTA: ANALIZANDO LOS PROBLEMAS DEL ANALISIS

LA AUTO-MODIFICACION ES LA CAPACIDAD DE QUE UN CODIGO MODIFIQUE SU PROPIA ESTRUCTURA EN TIEMPO DE EJECUCION, ESTO NO SOLO ES POSIBLE EN EJECUTABLES BINARIOS DE BAJO NIVEL (POR EJEMPLO, CODIGO X86), SINO TAMBIEN EN LENGUAJES DE PR... ver más

01/01/2017

IMDEA SOFTWARE INS...

8K€

Presupuesto del proyecto: 8K€

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2017-01-01

0% 100%

Participantes

IMDEA SOFTWARE INSTITUTE

Lider

Proyectos interesantes

PARSe Program Analysis and Reorganization as a Service 150K€ Cerrado

SYMBIOSYS Symbolic Analysis of Temporal and Functional Behavior of Net... 2M€ Cerrado

BES-2009-015019 VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG... 43K€ Cerrado

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

VESTA VErified STAtic analysis platform 2M€ Cerrado

RTI2018-101963-B-I00 BUGBIRTH: HOW BUGS ARE BORN 85K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

IMDEA SOFTWARE INSTITUTE

TRL 4-5 | 650K€

Presupuesto del proyecto 8K€

Descripción del proyecto LA AUTO-MODIFICACION ES LA CAPACIDAD DE QUE UN CODIGO MODIFIQUE SU PROPIA ESTRUCTURA EN TIEMPO DE EJECUCION, ESTO NO SOLO ES POSIBLE EN EJECUTABLES BINARIOS DE BAJO NIVEL (POR EJEMPLO, CODIGO X86), SINO TAMBIEN EN LENGUAJES DE PROGRAMACION DINAMICA COMUNES (COMO LA MAYOR PARTE DE LOS LENGUAJES DE SCRIPTING), Y SE UTILIZA HABITUALMENTE EN OPTIMIZACIONES AVANZADAS (POR EJEMPLO, EN LAS COMPILACIONES JIT), EL PROBLEMA RESIDE EN QUE LA INCLUSION DE SEMANTICAS QUE EVITEN LA AUTO-MODIFICACION DE PROGRAMAS (POR EJEMPLO, PARA EXPLOTAR DIVERSIFICACION DEL CODIGO PARA CAMUFLAJE EN ATAQUES DE MALWARE, O PARA MEJORAR LOS MECANISMOS DE PROTECCION O SU RENDIMIENTO), HACE QUE EL USO DE LOS MODELOS ESTANDAR Y LAS HERRAMIENTAS PARA EL ANALISIS DE PROGRAMAS ESTATICOS Y DINAMICOS SEA EXTREMADAMENTE DIFICIL, Y HARIA QUE FUERA ALTAMENTE VULNERABLE A FALSOS POSITIVOS, ESTO SE DEBE A QUE LOS METODOS ESTANDARES DE ANALISIS DE PROGRAMAS ASUMEN QUE EL PROGRAMA ES UNA ENTIDAD ESTATICA, YA SEA COMO UN FLUJO DE CONTROL O EN EL CODIGO FUENTE,EL PROPOSITO DE ESTA PROPUESTA ES EL DESARROLLO DE NUEVOS MODELOS Y HERRAMIENTAS QUE PERMITAN UN ANALISIS ESTATICO, FIABLE Y PRECISO, DE CODIGO DINAMICO AUTO-MODIFICABLE, LA IDEA CONSISTE EN CONSIDERAR EL CODIGO COMO UNA ESTRUCTURA DE DATOS PARTICULAR, QUE PUEDE MODIFICARSE Y, POR LO TANTO, ANALIZARSE ESTATICAMENTE POR INTERPRETES ABSTRACTOS ADECUADOS, TAL Y COMO HACEMOS TIPICAMENTE CON OTRAS ESTRUCTURAS DE COMPUTACION, SE DESARROLLARAN MODELOS SEMANTICOS E INTERPRETES ABSTRACTOS QUE APROXIMEN EL COMPORTAMIENTO DE LAS ESTRUCTURAS DE CODIGO DE MANERA QUE ESTAS MODIFICACIONES PUEDAN SER CONSIDERADAS EN EL ANALISIS ESTANDAR DEL PROGRAMA, O EN LA FASE DE VERIFICACION, EL MAYOR LOGRO DEL PROYECTO SERA LA CREACION DE NUEVOS METODOS Y HERRAMIENTAS PARA EL ANALISIS ESTATICO DE PROPIEDADES DE SEGURIDAD, INCLUYENDO LA REFLEXION Y LAS CAPACIDADES PARA LA AUTO-MODIFICACION, CIENCIAS DE LA COMPUTACIÓN TEÓRICAS\MÉTODOS FORMALES\COMPUTACIÓN CUÁNTICA

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores