Blockchain is a revolutionary technology that enables users to communicate in a trust-less
manner. It revolutionizes the modes of business between organizations without the need for …

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 …

A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Smart contracts contain many built-in security features, such as non-immutability once being
deployed and non-involvement of third parties for contract execution. These features reduce …

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 …

Blockchains have been booming in recent years. As a decentralized system architecture,
smart contracts give blockchains a user-defined logic. A smart contract is an executable …

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 …

Smart contracts are self-executing programs that run on the blockchain and make it possible
for peers to enforce agreements without a third-party guarantee. The smart contract on …

With the popularity of blockchain, the amount of smart contracts has increased very fast, and
the safety of smart contracts has come to more extensive notice. Recently, machine learning …

Security of smart contracts has attracted increasing attention in recent years. Many
researchers have devoted themselves to devising testing tools for vulnerability detection …