54 citations · 74 across the 6 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2020
DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode
Jiachi Chen, Xin Xia, David Lo +3
Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts…
cs.SE2020★ 1 cited
STAN: Towards Describing Bytecodes of Smart Contract
Xiaoqi Li, Ting Chen, Xiapu Luo +3
More than eight million smart contracts have been deployed into Ethereum, which is the most popular blockchain that supports smart contract. However, less than 1% of deployed smart…
cs.SE2019
Defining Smart Contract Defects on Ethereum
Jiachi Chen, Xin Xia, David Lo +3
Smart contracts are programs running on a blockchain. They are immutable to change, and hence can not be patched for bugs once deployed. Thus it is critical to ensure they are bug-…