Recent attacks exploiting errors in smart contract code had devastating consequences
thereby questioning the benefits of this technology. It is currently highly challenging to fix …

Blockchain has flourished in recent years. As a decentralized system architecture, smart
contracts give the blockchain a user-defined logical concept. The smart contract is an …

The blockchain based decentralized cryptocurrency platforms are one of the hottest topics in
tech at the moment. Though most of the interest is generated by cryptocurrency related …

With a market capitalisation of over USD 205 billion in just under ten years, public distributed
ledgers have experienced significant adoption. Apart from novel consensus mechanisms …

Modern IoT solutions are often an intricate system of interdependent components.
Traditional monitoring techniques may not be sufficient to ensure the correct operation of …

Smart contracts are programs that run atop of a blockchain infrastructure. They have
emerged as an important new programming model in cryptocurrencies like Ethereum, where …

Although the first Blockchain (BC) was proposed about a decade ago, BC achievements
from a technical and functional perspective are measurable, but still face open issues. Since …

In the complicated settings of WSN (Wireless Sensor Networks) and IoT (Internet of Things)
environments, keeping a number of heterogeneous devices updated is a challenging job …

The efficiency and the security of smart contracts are their two fundamental properties, but
might come at odds: the use of optimizers to enhance efficiency may introduce bugs and …

The use of the Ethereum blockchain platform [17] has experienced an enormous growth
since its very first transaction back in 2015 and, along with it, the verification and …