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 …

WebAssembly (Wasm) smart contracts have shown growing popularity across blockchains
(eg, EOSIO) recently. Similar to Ethereum smart contracts, Wasm smart contracts suffer from …

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 …

Given the growing importance of smart contracts in various applications, ensuring their
security and reliability is critical. Fuzzing, an effective vulnerability detection technique, has …

With the development of decentralized networks, smart contracts, especially those for ERC
tokens, are attracting more and more Dapp users to implement their applications. There are …

Blockchain is a decentralized distributed system on which a large number of financial
applications have been deployed. The consensus process in it plays an important role …

This paper presents a systematic and comprehensive survey on blockchain interoperability,
where interoperability is defined as the ability of blockchains to flexibly transfer assets, share …

Decentralized Finance (DeFi) is emerging as a peer-to-peer financial ecosystem, enabling
participants to trade products on a permissionless blockchain. Built on blockchain and smart …

Attacks on smart contracts have caused considerable losses to digital assets. Many
techniques based on symbolic execution, fuzzing, and static analysis are used to detect …

Smart contracts on Ethereum handle millions of US Dollars and other financial assets. In the
past, attackers have exploited smart contracts to steal these assets. The Ethereum …