The prosperity of the cryptocurrency ecosystem drives the need for digital asset trading
platforms. Beyond centralized exchanges (CEXs), decentralized exchanges (DEXs) are …

The EOSIO blockchain, one of the representative Delegated Proof-of-Stake (DPoS)
blockchain platforms, has grown rapidly recently. Meanwhile, a number of vulnerabilities …

Smart contracts are programs deployed on a blockchain and are immutable once deployed.
Reentrancy, one of the most important vulnerabilities in smart contracts, has caused millions …

Nowadays, blockchain has become increasingly popular due to its promise of supporting
critical business services in various areas. Blockchain systems, like Ethereum and …

Smart contracts are nowadays at the core of most blockchain systems. Like all computer
programs, smart contracts are subject to the presence of residual faults, including severe …

Smart contracts are programs that execute transactions involving independent parties and
cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and …

Blockchain-based smart contracts enable the creation of decentralized applications, which
often handle assets of considerable value. While the underlying platforms guarantee the …

Defined as an agreement between multiple parties and systematically executed by a
computer code, smart contracts enable trust-less execution without a third party. Despite the …