The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

Social media is becoming one of the dominant ways to communicate. Before social media,
people were extremely limited in their means to interact with others, and they were limited …

Smart contracts are a promising means of formalizing and reliably enforcing agreements
between entities using distributed ledger technology (DLT). Research has revealed that a …

Ponzi schemes are financial scams that lure users under the promise of high profits. With the
prosperity of Bitcoin and blockchain technologies, there has been growing anecdotal …

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

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

A smart contract is a computer program which is automatically executed with some
conditional statements such as “if/then”. Since smart contracts can include some vulnerable …

Symbolic detection has been widely used to detect vulnerabilities in smart contracts.
Unfortunately, as reported, existing symbolic tools cost too much time, since they need to …

Over the past couple of years, smart contracts have been plagued by multifarious
vulnerabilities, which have led to catastrophic financial losses. Their security issues …

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 …