Blockchain is the promising technology of recent years, which has attracted remarkable
attention in both academic studies and practical industrial applications. The smart contract is …

To achieve trust and continuity in the smart contracts-based business process execution, the
verification of such smart contracts is mandatory. A blockchain-based smart contract should …

Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts:
full-fledged inter-communicating programs that capture the transaction logic of an account …

The rise of modern blockchains has facilitated the emergence of smart contracts:
autonomous programs that live and run on the blockchain. Smart contracts have seen a …

Recently, a number of existing blockchain systems have witnessed major bugs and
vulnerabilities within smart contracts. Although the literature features a number of proposals …

Smart contracts are software programs featuring both traditional applications and distributed
data storage on blockchains. Ethereum is a prominent blockchain platform with the support …

Smart contracts on permissionless blockchains are exposed to inherent security risks due to
interactions with untrusted entities. Static analyzers are essential for identifying security risks …

Ethereum has emerged as the most popular smart contract platform, with hundreds of
thousands of contracts stored on the blockchain and covering diverse application scenarios …

Blockchain and distributed ledger technologies have received significant interest in various
areas beyond the financial sector, with profound applications in the Internet of Things (IoT) …