Blockchain is an inspiring emerging technology that takes much attention from various
researchers and companies. The technology offers various benefits such as data security …

Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

Blockchain sharding has been increasingly used to improve blockchain systems'
performance, in which a blockchain is split into multiple smaller, disjoint shards. In practice …

A smart contract, in form, is represented as a piece of computer program code involving
related commercial transactions and algorithms. Essentially, this is the computerization of …

Blockchain stores a series of transactions in form of a sequence of linked blocks. Hence, the
concept of a single decentralized ledger is easily maintained. Transactions and interactions …

Society appears to be on the verge of recognizing the need for control over sensitive data in
modern web applications. Recently, many systems claim to give control to individuals …

Smart contracts enable users to execute payments depending on complex program logic.
Ethereum is the most notable example of a blockchain that supports smart contracts …

The integration of machine learning with blockchain technology has witnessed increasing
interest, driven by the vision of decentralized, secure, and transparent AI services. In this …

In our previous work, we proposed a verification framework that shifts from the “code is law”
to a new “specification is law” paradigm related to the safe evolution of smart contracts. The …

Blockchain and smart contracts are one of the key technologies promoting Web 3.0.
However, due to security considerations and consistency requirements, smart contracts …