54 citations · 57 across the 3 of their papers we have counts for
4 papers
Smart Contract Security: a Practitioners' Perspective
Zhiyuan Wan, Xin Xia, David Lo +3
Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart…
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Jiachi Chen
Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a…
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…
Quantitative Impact Evaluation of an Abstraction Layer for Data Stream Processing Systems
Guenter Hesse, Christoph Matthies, Kelvin Glass +2
With the demand to process ever-growing data volumes, a variety of new data stream processing frameworks have been developed. Moving an implementation from one such system to anoth…