Secure MDE for Ethereum-based Decentralized Applications (ÐApps) Development

Abstract

Ethereum Blockchain based Smart Contracts are computer programs that enable decentralized transactions among its participants. The development of smart contracts is a complex process because of the characteristics of Blockchain Technology like the immutability of blocks added to the blockchain. Also, the current evolving nature of this novice technology makes the development process insubstantial. Therefore, this doctoral dissertation highlights the vulnerabilities and complexities in smart contracts and proposes a model-driven engineering framework for designing secure smart contracts at the model level and generating vulnerability-free smart contract code.