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 …

Security attacks targeting smart contracts have been on the rise, which have led to financial
loss and erosion of trust. Therefore, it is important to enable developers to discover security …

Ongoing smart contract attack events have seriously impeded the practical application of
blockchain. Although lots of researches have been conducted, they mostly focus on off-chain …

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 …

Over the last few years, there has been substantial research on automated analysis, testing,
and debugging of Ethereum smart contracts. However, it is not trivial to compare and …

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 …

The EOSIO blockchain, one of the representative Delegated Proof-of-Stake (DPoS)
blockchain platforms, has grown rapidly recently. Meanwhile, a number of vulnerabilities …

Executing, verifying and enforcing credible transactions on permissionless blockchains is
done using smart contracts. A key challenge with smart contracts is ensuring their …

The popularity of blockchain technology encourages organizations to use more blockchain
features in mission-critical processes such as trading, access control, and computational …

Ethereum is the largest blockchain platform that supports smart contracts. Users deploy
smart contracts by publishing the smart contract's bytecode to the blockchain. Since the data …