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

BASTION

Financiado

Leveraging Binary Analysis to Secure the Internet of Things

We are in the midst of the shift towards the Internet of Things (IoT), where more and more (legacy) devices are connected to the Internet and communicate with each other. This paradigm shift brings new security challenges and unf... ver más

29/02/2020

RUHR-UNIVERSITAET...

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

RUHRUNIVERSITAET BOCHUM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2020-02-29

ERC-StG-2014: ERC Starting Grant

I+D

Cerrada hace 10 años

0% 100%

2 Participantes

RUHR-UNIVERSITAET BOCHUM

1.47M€ | Lider

AMES MONTBLANC SINTERING

567.48K€ | 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

ORSHIN Open-source ReSilient Hardware and software for Internet of... 4M€ Cerrado

bubbleWall: Inteligencia Ubicua para la Segur... bubbleWall: Inteligencia Ubicua para la Seguridad por Diseño... 361K€ Cerrado

FJC2018-038537-I Security by Design: applying Search-based Software Engineeri... 50K€ Cerrado

IPT-2011-1328-390000 SMOTY - Sistema de Seguridad Basado en Inteligencia Emergent... Cerrado

PRE2018-083541 DISEÑO DE SOLUCIONES HARDWARE PARA GESTIONAR CON CONFIANZA,... 93K€ Cerrado

Duración del proyecto: 60 meses Fecha Inicio: 2015-02-26
Fecha Fin: 2020-02-29

Líder del proyecto

RUHRUNIVERSITAET BOCHUM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

Descripción del proyecto We are in the midst of the shift towards the Internet of Things (IoT), where more and more (legacy) devices are connected to the Internet and communicate with each other. This paradigm shift brings new security challenges and unfortunately many current security solutions are not applicable anymore, e.g., because of a lack of clear network boundaries or resource-constrained devices. However, security plays a central role: In addition to its classical function in protecting against manipulation and fraud, it also enables novel applications and innovative business models. We propose a research program that leverages binary analysis techniques to improve the security within the IoT. We concentrate on the software level since this enables us to both analyze a given device for potential security vulnerabilities and add security features to harden the device against future attacks. More specifically, we concentrate on the firmware (i.e., the combination of persistent memory together with program code and data that powers such devices) and develop novel mechanism for binary analysis of such software. We design an intermediate language to abstract away from the concrete assembly level and this enables an analysis of many different platforms within a unified analysis framework. We transfer and extend program analysis techniques such as control-/data-flow analysis or symbolic execution and apply them to our IL. Given this novel toolset, we can analyze security properties of a given firmware image (e.g., uncovering undocumented functionality and detecting memory corruption or logical vulnerabilities,). We also explore how to harden a firmware by retrofitting security mechanisms (e.g., adding control-flow integrity or automatically eliminating unnecessary functionality). This research will deepen our fundamental understanding of binary analysis methods and apply it to a novel area as it lays the foundations of performing this analysis on the level of intermediate languages.

Conecta tu I+D

Entra hoy

¿Olvidó su contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores