Hola,
¿eres nuevo aquí?

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

CONSEC

Financiado

Secure Execution of Smart Contracts

Smart contracts are computer programs that autonomously execute on the blockchain. They have the potential to revolutionize many applications from finance, insurance, energy, healthcare, and production industries. However, smart c... ver más

31/10/2027

UDE

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

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

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-10-27

Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:

ERC-2021-STG: ERC STARTING GRANTS

I+D

Cerrada hace 3 años

0% 100% 100%

1 Participantes

UDE

1.49M€ | Lider

Proyectos interesantes

CRYSPEN Custom Cryptographic Solutions with Formal Security Guarante... 150K€ Cerrado

Entrega Electrónica Certificada con verificac... Entrega Electrónica Certificada con verificación de identida... Rechazado

PID2020-119397RB-I00 HARDWARE DE CONFIANZA Y CON SEGURIDAD POST-CUANTICA PARA CAR... 84K€ Cerrado

RTC-2017-6595-7 Hardware-based Security for Blockchain Technologies (HardBlo... 323K€ Cerrado

TED2021-131844B-I00 EL DESARROLLO DE LAS FINANZAS DIGITALES: ORACULOS DESCENTRAL... 173K€ 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

Duración del proyecto: 60 meses Fecha Inicio: 2022-10-27
Fecha Fin: 2027-10-31

Líder del proyecto

UNIVERSITAET DUISBURGESSEN

TRL 4-5

Presupuesto del proyecto 1M€

Descripción del proyecto Smart contracts are computer programs that autonomously execute on the blockchain. They have the potential to revolutionize many applications from finance, insurance, energy, healthcare, and production industries. However, smart contracts have become an appealing attack target. Since smart contracts are always online and easy to hack once a vulnerability is discovered, recent attacks resulted in large losses of cryptocurrency thereby questioning the benefits of this revolutionary technology. CONSEC is the first holistic framework that will enable secure execution of smart contracts on the blockchain. It takes a holistic approach by developing security mechanisms covering various stages of the blockchain ecosystem starting from smart contract development and maintenance to smart contract execution and forensic analysis. A key aspect of this project is the development of the first secure smart contract compiler which detects and automatically patches smart contract bugs in the development phase. An innovative update process complements the secure compiler to mitigate new and unknown attack vectors supporting developers who deployed vulnerable contracts. Further, CONSEC will develop a secure execution monitor to audit smart contracts while they execute on the blockchain allowing instant reaction to run-time attacks. To tackle the current lack of comprehensive approaches to validate the security of already deployed contracts, CONSEC will develop new forensic dynamic analysis approaches. CONSEC establishes trust in smart contract technology enabling secure deployment and execution of smart contracts on the blockchain.

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores