A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Smart contracts are Turing-complete programs running on the blockchain. They are
immutable and cannot be modified, even when bugs are detected. Therefore, ensuring …

Smart contracts have become lucrative and profitable targets for attackers because they can
hold a great amount of money. Unfortunately, existing offline approaches for discovering the …

Security of smart contracts has attracted increasing attention in recent years. Many
researchers have devoted themselves to devising testing tools for vulnerability detection …

Ethereum, the largest blockchain for running smart contracts, charges the people who send
transactions to deploy or invoke smart contracts for thwarting resource abuse. The amount of …

Forensic identification of vulnerabilities in Ethereum based smart contract has received
significant interest among security agencies and researchers because it normally manages …

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

Smart contracts play an increasingly important role in Ethereum platform. It provides various
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …

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 …

Recently, the birth of non-fungible tokens (NFTs) has attracted great attention. NFTs are
capable of representing users' ownership on the blockchain and have experienced …