Scalable Model-Based Decentralized Applications in the Cloud Using Certificates and Blockchains | IEEE Conference Publication | IEEE Xplore