Smart contract security is an emerging research area that deals with security issues arising
from the execution of smart contracts in a blockchain system. Generally, a smart contract is a …

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

We present VERISMART, a highly precise verifier for ensuring arithmetic safety of Ethereum
smart contracts. Writing safe smart contracts without unintended behavior is critically …

Smart contracts powered by blockchain ensure transaction processes are effective, secure
and efficient as compared to conventional contacts. Smart contracts facilitate trustless …

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 …

The key issue in the field of smart contract security is efficient and rapid vulnerability
detection in smart contracts. Most of the existing detection methods can only detect the …

We introduce the Clockwork Finance Framework (CFF), a general purpose, formal
verification framework for mechanized reasoning about the economic security properties of …

The present increase of attention toward blockchain-based systems is currently reaching a
tipping point with the corporate focus shifting from exploring the technology potential to …

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

With the wide application of Internet of Things and blockchain, research on smart contracts
has received increased attention, and security threat detection for smart contracts is one of …