Chengyu Zhang

Detecting nondeterministic payment bugs in Ethereum smart contracts

2019 · Repository for Publications and Research Data (ETH Zurich)

The term “smart contracts” has become ubiquitous to describe an enormous number of programs uploaded to the popular Ethereum blockchain system. Despite rapid growth of the smart contract ecosystem, errors and exploitations have been constantly …