activity
20112026
most citedDEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode

160 citations · 1.2k across the 101 of their papers we have counts for

collaborators
Showing 2019Show all

6 papers · 1 filter

cs.CR2019★ 2 cited

Boros: Secure Cross-Channel Transfers via Channel Hub

YongJie Ye, Jingjing Zhang, Weigang Wu +2

The payment channel, which allows two parties to perform micropayments without involving the blockchain, has become a promising proposal to improve the scalability of decentralized…

cs.SE2019★ 24 cited

SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions

Pengcheng Zhang, Feng Xiao, Xiapu Luo

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of…

cs.NI2019★ 14 cited

Programmable In-Network Security for Context-aware BYOD Policies

Qiao Kang, Lei Xue, Adam Morrison +3

Bring Your Own Device (BYOD) has become the new norm in enterprise networks, but BYOD security remains a top concern. Context-aware security, which enforces access control based on…

cs.PF2019★ 54 cited

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…

cs.SE2019★ 2 cited

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-…

cs.CR2019★ 13 cited

Towards a First Step to Understand the Cryptocurrency Stealing Attack on Ethereum

Zhen Cheng, Xinrui Hou, Runhuai Li +4

We performed the first systematic study of a new attack on Ethereum that steals cryptocurrencies. The attack is due to the unprotected JSON-RPC endpoints existed in Ethereum nodes…