The number of applications supported by blockchain smart contracts has been greatly
increasing in recent years, with smart contracts now being used across several domains …

EOSIO, as a representative of blockchain 3.0 platforms, immediately follows in the footsteps
of Bitcoin and Ethereum. It has raised the largest ever initial coin offering, and its market …

Smart contracts written in Solidity are widely used in different blockchain platforms such as
Ethereum, TRON and BNB Chain. One of the unique designs in Solidity smart contracts is its …

The detection of vulnerabilities in smart contracts remains a significant challenge. While
numerous tools are available for analyzing smart contracts in source code, only about 1.79 …

Fuzzing is one of the major techniques for uncovering vulnerabilities in smart contracts. The
effectiveness of fuzzing is significantly affected by its throughput but unfortunately existing …

WebAssembly (Wasm) is a bytecode format originally serving as a compilation target for
Web applications. It has recently been used increasingly on the server side, eg, providing a …

Beyond an emerging popular web applications runtime supported in almost all commodity
browsers, WebAssembly (WASM) is further regarded to be the next-generation execution …

Smart contracts play a vital role in the Ethereum ecosystem. Due to the prevalence of kinds
of security issues in smart contracts, the smart contract verification is urgently needed, which …

Smart contracts are programs that execute transactions involving independent parties and
cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and …

WebAssembly (Wasm) runtime provides a virtual machine that can execute the
WebAssembly modules and is widely used in different areas (eg, browsers, edge computing …