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

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 No tenemos la información de la convocatoria

0% 100%

Participantes

IMDEA SOFTWARE INSTITUTE

Lider

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

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

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€

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores