Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …

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 …

With the development of blockchain technology, smart contracts have become an important
component of blockchain applications. Despite their crucial role, the development of smart …

Unlike traditional software, smart contracts have the unique organization in which a
sequence of transactions shares persistent states. Unfortunately, such a characteristic …

In the context of the rapid development of blockchain technology, smart contracts have also
been widely used in the Internet of Things, finance, healthcare, and other fields. There has …

Smart contracts with natural economic attributes have been widely and rapidly developed in
various fields. However, the bugs and vulnerabilities in smart contracts have brought huge …

Exploitable bugs in smart contracts have caused significant monetary loss. Despite the
substantial advances in smart contract bug finding, exploitable bugs and real-world attacks …

Ethereum smart contracts are automated decentralized applications on the blockchain that
describe the terms of the agreement between buyers and sellers, reducing the need for …

The use of blockchains for automated and adversarial trading has become commonplace.
However, due to the transparent nature of blockchains, an adversary is able to observe any …

The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …