Smart contract vulnerability detection draws extensive attention in recent years due to the
substantial losses caused by hacker attacks. Existing efforts for contract security analysis …

The security problems of smart contracts have drawn extensive attention due to the
enormous financial losses caused by vulnerabilities. Existing methods on smart contract …

Smart contracts hold digital coins worth billions of dollars, their security issues have drawn
extensive attention in the past years. Towards smart contract vulnerability detection …

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 …

Security attacks in smart contracts have drawn extensive attention due to the financial loss
and erosion of trust caused by vulnerabilities. Even worse, smart contract is a tamper proof …

Smart contracts are decentralized applications running on Blockchain. A very large number
of smart contracts has been deployed on Ethereum. Meanwhile, security flaws of contracts …

A smart contract is a computer program which is automatically executed with some
conditional statements such as “if/then”. Since smart contracts can include some vulnerable …

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 …

Smart contracts are prone to various vulnerabilities, leading to substantial financial losses
over time. Current analysis tools mainly target vulnerabilities with fixed control or dataflow …

In the last decade, smart contract security issues lead to tremendous losses, which has
attracted increasing public attention both in industry and in academia. Researchers have …