SubsidieMeestersSecure Execution of Smart Contracts
CONSEC aims to enhance smart contract security on the blockchain through a comprehensive framework that includes a secure compiler, execution monitoring, and forensic analysis to prevent vulnerabilities and attacks.
Projectdetails
Introduction
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.
Security Concerns
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 have resulted in large losses of cryptocurrency, thereby questioning the benefits of this revolutionary technology.
Project Overview
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, including:
- Smart contract development and maintenance
- Smart contract execution
- Forensic analysis
Key Features
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.
Forensic Analysis
To tackle the current lack of comprehensive approaches to validate the security of already deployed contracts, CONSEC will develop new forensic dynamic analysis approaches.
Conclusion
CONSEC establishes trust in smart contract technology, enabling secure deployment and execution of smart contracts on the blockchain.
Financiële details & Tijdlijn
Financiële details
| Subsidiebedrag | € 1.486.313 |
| Totale projectbegroting | € 1.486.313 |
Tijdlijn
| Startdatum | 1-11-2022 |
| Einddatum | 31-10-2027 |
| Subsidiejaar | 2022 |
Partners & Locaties
Projectpartners
- UNIVERSITAET DUISBURG-ESSENpenvoerder
Land(en)
Vergelijkbare projecten binnen European Research Council
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Formal Methods for Secure Blockchain-Oriented ProgrammingBlockSec aims to establish a comprehensive framework for enforcing game-theoretic security in DeFi applications through formal methods and interdisciplinary research. | ERC Advanced... | € 2.499.983 | 2025 | Details |
SecuStack: Securing the Leaky Hardware/Software BoundarySecuStack aims to eliminate side-channel leaks by developing precise hardware-level leakage models to create provably secure systems, enhancing data protection against emerging attacks. | ERC Starting... | € 1.500.000 | 2024 | Details |
Resilient and Sustainable Software SecurityThe RS³ project aims to enhance software security by developing resilient and sustainable countermeasures through innovative testing, secure compilers, attack mitigation, and hardware improvements. | ERC Consolid... | € 1.998.851 | 2023 | Details |
Overcoming Barriers and Efficiency Limitations in Secure ComputationThe OBELiSC project aims to enhance secure computation methods to protect sensitive data in large-scale networks while addressing current protocol limitations. | ERC Starting... | € 1.500.000 | 2024 | Details |
Formalizing, Verifying and Applying ISA Security Guarantees as Universal ContractsThis project aims to enhance ISA security by developing universal contracts for specifying security properties, enabling rigorous full-system security proofs and clearer developer responsibilities. | ERC Starting... | € 1.500.000 | 2022 | Details |
Formal Methods for Secure Blockchain-Oriented Programming
BlockSec aims to establish a comprehensive framework for enforcing game-theoretic security in DeFi applications through formal methods and interdisciplinary research.
SecuStack: Securing the Leaky Hardware/Software Boundary
SecuStack aims to eliminate side-channel leaks by developing precise hardware-level leakage models to create provably secure systems, enhancing data protection against emerging attacks.
Resilient and Sustainable Software Security
The RS³ project aims to enhance software security by developing resilient and sustainable countermeasures through innovative testing, secure compilers, attack mitigation, and hardware improvements.
Overcoming Barriers and Efficiency Limitations in Secure Computation
The OBELiSC project aims to enhance secure computation methods to protect sensitive data in large-scale networks while addressing current protocol limitations.
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
This project aims to enhance ISA security by developing universal contracts for specifying security properties, enabling rigorous full-system security proofs and clearer developer responsibilities.
Vergelijkbare projecten uit andere regelingen
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Protecting modern open-source web applicationsThe project aims to enhance website security by integrating independent security researchers with automated virtual patching technology to protect against open-source code vulnerabilities. | EIC Accelerator | € 1.904.000 | 2022 | Details |
Cooperative Asset Safety Management (CASM): een blockchain platform voor product lifecycle management van arbeidsmiddelenHet project ontwikkelt een SaaS-applicatie met blockchaintechnologie voor gestandaardiseerde inspectie en certificering van arbeidsmiddelen in de hef- en hijsbranche, ter verbetering van veiligheid en transparantie. | Mkb-innovati... | € 175.043 | 2018 | Details |
Blockchain integrated Real Time AuditingCompleye onderzoekt de technische haalbaarheid van het uitbreiden van het QMS met blockchain en smart contracts, inclusief risicoanalyse en kosteninschatting voor verdere ontwikkeling. | Mkb-innovati... | € 20.000 | 2020 | Details |
IP certification via BlockchainCodekeeper wil met CodekeeperIP een haalbaarheidsonderzoek uitvoeren naar een blockchain-integratie voor broncodebeheer om intellectueel eigendom te beschermen en juridische geschillen te verminderen. | Mkb-innovati... | € 20.000 | 2020 | Details |
Mobile2Decentralised data-switcher platform (M2D-platform)Het M2D-platform biedt een veilige, gedecentraliseerde data-oplossing voor apps, ter bescherming tegen cybercriminaliteit en wetgeving. | Mkb-innovati... | € 20.000 | 2021 | Details |
Protecting modern open-source web applications
The project aims to enhance website security by integrating independent security researchers with automated virtual patching technology to protect against open-source code vulnerabilities.
Cooperative Asset Safety Management (CASM): een blockchain platform voor product lifecycle management van arbeidsmiddelen
Het project ontwikkelt een SaaS-applicatie met blockchaintechnologie voor gestandaardiseerde inspectie en certificering van arbeidsmiddelen in de hef- en hijsbranche, ter verbetering van veiligheid en transparantie.
Blockchain integrated Real Time Auditing
Compleye onderzoekt de technische haalbaarheid van het uitbreiden van het QMS met blockchain en smart contracts, inclusief risicoanalyse en kosteninschatting voor verdere ontwikkeling.
IP certification via Blockchain
Codekeeper wil met CodekeeperIP een haalbaarheidsonderzoek uitvoeren naar een blockchain-integratie voor broncodebeheer om intellectueel eigendom te beschermen en juridische geschillen te verminderen.
Mobile2Decentralised data-switcher platform (M2D-platform)
Het M2D-platform biedt een veilige, gedecentraliseerde data-oplossing voor apps, ter bescherming tegen cybercriminaliteit en wetgeving.