The growing popularity of Ethereum and Solidity smart contracts makes them attractive
targets for security threats and attacks. Even though researchers have been dedicating …

Ethereum is a permissionless blockchain ecosystem that supports execution of smart
contracts, the key enablers of decentralized finance (DeFi) and non-fungible tokens (NFT) …

In recent years, smart contracts have suffered major exploits, cost-ing millions of dollars.
Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they …

Permissioned blockchains are supported by identified but individually untrustworthy nodes,
collectively maintaining a replicated ledger whose content is trusted. The Hyperledger …

Despite the high stakes involved in smart contracts, they are often developed in an
undisciplined manner, leaving the security and reliability of blockchain transactions at risk. In …

智能合约是区块链技术最成功的应用之一, 为实现各式各样的区块链现实应用提供了基础,
在区块链生态系统中处于至关重要的地位. 然而, 频发的智能合约安全事件不仅造成了巨大的 …

Software development is a very broad activity that captures the entire life cycle of a software,
which includes designing, programming, maintenance and so on. In this study, we focus on …

The proliferation of blockchains has given developers a variety of platforms on which to run
their smart contracts based on application features and requirements for throughput …

Decentralized autonomous organizations (DAO) launched on a blockchain and governed by
a smart contract promises to bring self-organization to a new technological level. Crisis …

Smart contracts are immutable programs executed in the context of a globally distributed
system known as a blockchain. They enable the decentralized implementation of many …