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 2020Show all

19 papers · 1 filter

cs.CR2020★ 2 cited

CLUE: Towards Discovering Locked Cryptocurrencies in Ethereum

Xiaoqi Li, Ting Chen, Xiapu Luo +1

As the most popular blockchain that supports smart contracts, there are already more than 296 thousand kinds of cryptocurrencies built on Ethereum. However, not all cryptocurrencie…

cs.LG2020★ 20 cited

TrojanZoo: Towards Unified, Holistic, and Practical Evaluation of Neural Backdoors

Ren Pang, Zheng Zhang, Xiangshan Gao +5

Neural backdoors represent one primary threat to the security of deep learning systems. The intensive research has produced a plethora of backdoor attacks/defenses, resulting in a…

cs.CR2020★ 4 cited

Tracking Counterfeit Cryptocurrency End-to-end

Bingyu Gao, Haoyu Wang, Pengcheng Xia +4

The production of counterfeit money has a long history. It refers to the creation of imitation currency that is produced without the legal sanction of government. With the growth o…

cs.CR2020

Garou: An Efficient and Secure Off-Blockchain Multi-Party Payment Hub

Yongjie Ye, Weigang Wu

To mitigate the scalability problem of decentralized cryptocurrencies such as Bitcoin and Ethereum, the payment channel, which allows two parties to perform secure coin transfers w…

cs.SE2020★ 3 cited

A Framework and DataSet for Bugs in Ethereum Smart Contracts

Pengcheng Zhang, Feng Xiao, Xiapu Luo

Ethereum is the largest blockchain platform that supports smart contracts. Users deploy smart contracts by publishing the smart contract's bytecode to the blockchain. Since the dat…

cs.SE2020★ 160 cited

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.CR2020★ 1 cited

Characterizing Erasable Accounts in Ethereum

Xiaoqi Li, Ting Chen, Xiapu Luo +1

Being the most popular permissionless blockchain that supports smart contracts, Ethereum allows any user to create accounts on it. However, not all accounts matter. For example, th…

cs.SE2020★ 14 cited

An Empirical Evaluation of GDPR Compliance Violations in Android mHealth Apps

Ming Fan, Le Yu, Sen Chen +6

The purpose of the General Data Protection Regulation (GDPR) is to provide improved privacy protection. If an app controls personal data from users, it needs to be compliant with G…

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.CR2020★ 9 cited

Don't Fish in Troubled Waters! Characterizing Coronavirus-themed Cryptocurrency Scams

Pengcheng Xia, Haoyu Wang, Xiapu Luo +6

As COVID-19 has been spreading across the world since early 2020, a growing number of malicious campaigns are capitalizing the topic of COVID-19. COVID-19 themed cryptocurrency sca…

cs.LG2020★ 2 cited

AdvMind: Inferring Adversary Intent of Black-Box Attacks

Ren Pang, Xinyang Zhang, Shouling Ji +2

Deep neural networks (DNNs) are inherently susceptible to adversarial attacks even under black-box settings, in which the adversary only has query access to the target models. In p…

cs.SE2020

Feature Location Benchmark for Decomposing and Reusing Android Apps

Yutian Tang, Hao Zhou, Zhou Xu +3

Software reuse enables developers to reuse architecture, programs and other software artifacts. Realizing a systematical reuse in software brings a large amount of benefits for sta…

cs.CR2020★ 26 cited

Beyond the Virus: A First Look at Coronavirus-themed Mobile Malware

Liu Wang, Ren He, Haoyu Wang +8

As the COVID-19 pandemic emerged in early 2020, a number of malicious actors have started capitalizing the topic. Although a few media reports mentioned the existence of coronaviru…

cs.CR2020★ 2 cited

Time-Travel Investigation: Towards Building A Scalable Attack Detection Framework on Ethereum

Lei Wu, Siwei Wu, Yajin Zhou +5

As one of the representative blockchain platforms, Ethereum has attracted lots of attacks. Due to the existed financial loss, there is a pressing need to perform timely investigati…

cs.DC2020★ 3 cited

AxeChain: A Secure and Decentralized blockchain for solving Easily-Verifiable problems

Weilin Zheng, Xu Chen, Zibin Zheng +2

While Proof-of-Work (PoW) is the most widely used consensus mechanism for blockchain, it received harsh criticism due to its massive waste of energy for meaningless hash calculatio…

cs.CR2020★ 7 cited

Characterizing Cryptocurrency Exchange Scams

Pengcheng Xia, Bowen Zhang, Ru Ji +5

As the indispensable trading platforms of the ecosystem, hundreds of cryptocurrency exchanges are emerging to facilitate the trading of digital assets. While, it also attracts the…

cs.CR2020★ 15 cited

Security Analysis of EOSIO Smart Contracts

Ningyu He, Ruiyi Zhang, Lei Wu +5

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

cs.CR2020★ 21 cited

Characterizing EOSIO Blockchain

Yuheng Huang, Haoyu Wang, Lei Wu +6

EOSIO has become one of the most popular blockchain platforms since its mainnet launch in June 2018. In contrast to the traditional PoW-based systems (e.g., Bitcoin and Ethereum),…

cs.CR2020★ 41 cited

MadDroid: Characterising and Detecting Devious Ad Content for Android Apps

Tianming Liu, Haoyu Wang, Li Li +6

Advertisement drives the economy of the mobile app ecosystem. As a key component in the mobile ad business model, mobile ad content has been overlooked by the research community, w…