Descripción del proyecto
Crear confianza en los contratos inteligentes de la cadena de bloques
En los ecosistemas basados en la cadena de bloques, los contratos inteligentes son componentes básicos importantes, además de digitales, descentralizados y transparentes. Se refieren a protocolos informáticos que facilitan digitalmente la verificación y ejecución de un contrato. También son objetivos atractivos para los ciberataques y relativamente fáciles de piratear. En este contexto, el proyecto CONSEC, financiado por el Consejo Europeo de Investigación, permitirá la ejecución segura de contratos inteligentes en la cadena de bloques. Su equipo adoptará un enfoque integral mediante el desarrollo de mecanismos de seguridad que abarquen varias etapas del ecosistema de la cadena de bloques, desde el desarrollo y mantenimiento de contratos inteligentes hasta su ejecución y análisis forense. El equipo del proyecto diseñará un monitor de ejecución seguro para auditar los contratos inteligentes mientras se ejecutan en la cadena de bloques, lo que permitirá reaccionar instantáneamente a los ataques de tiempo de ejecución.
Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo.
La clasificación de este proyecto ha sido validada por personas.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo.
La clasificación de este proyecto ha sido validada por personas.
- ciencias naturales informática y ciencias de la información seguridad informática software malicioso
- ciencias naturales informática y ciencias de la información software software de aplicación software de sistemas
- ciencias naturales informática y ciencias de la información seguridad informática criptografía
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
HORIZON-ERC - HORIZON ERC Grants
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) ERC-2021-STG
Ver todos los proyectos financiados en el marco de esta convocatoriaInstitución de acogida
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
45141 ESSEN
Alemania
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.