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 …

Recent years have witnessed significant advancements in cross-chain technology.
However, the field faces two pressing challenges. On the one hand, hacks on cross-chain …

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

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 contract security has drawn extensive attention in recent years because of the
enormous economic losses caused by vulnerabilities. Even worse, fixing bugs in a deployed …

With the increasing popularity of blockchain, automatically detecting vulnerabilities in smart
contracts is becoming a significant problem. Prior research mainly identifies smart contract …

Smart contract transactions are increasingly interleaved by cross-contract calls. While many
tools have been developed to identify a common set of vulnerabilities, the cross-contract …

Programs on public blockchains often handle valuable assets, making them attractive
targets for attack. At the same time, it is challenging to design correct blockchain …

In the past few years, there has been significant progress made in the area of blockchain.
The use of blockchain technology has the potential to revolutionize the educational system …

Symbolic detection has been widely used to detect vulnerabilities in smart contracts.
Unfortunately, as reported, existing symbolic tools cost too much time, since they need to …