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 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.