41 citations · 235 across the 22 of their papers we have counts for
22 papers
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Ningyu He, Zhehao Zhao, Jikai Wang +7
Although existing techniques have proposed automated approaches to alleviate the path explosion problem of symbolic execution, users still need to optimize symbolic execution by ap…
A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation
Ningyu He, Haoyu Wang, Lei Wu +3
EOSIO, as one of the most representative blockchain 3.0 platforms, involves lots of new features, e.g., delegated proof of stake consensus algorithm and updatable smart contracts,…
DistFL: Distribution-aware Federated Learning for Mobile Scenarios
Bingyan Liu, Yifeng Cai, Ziqi Zhang +5
Federated learning (FL) has emerged as an effective solution to decentralized and privacy-preserving machine learning for mobile clients. While traditional FL has demonstrated its…
Understanding the Evolution of Blockchain Ecosystems: A Longitudinal Measurement Study of Bitcoin, Ethereum, and EOSIO
Ningyu He, Weihang Su, Zhou Yu +7
The continuing expansion of the blockchain ecosystems has attracted much attention from the research community. However, although a large number of research studies have been propo…
PFA: Privacy-preserving Federated Adaptation for Effective Model Personalization
Bingyan Liu, Yao Guo, Xiangqun Chen
Federated learning (FL) has become a prevalent distributed machine learning paradigm with improved privacy. After learning, the resulting federated model should be further personal…
TransTailor: Pruning the Pre-trained Model for Improved Transfer Learning
Bingyan Liu, Yifeng Cai, Yao Guo +1
The increasing of pre-trained models has significantly facilitated the performance on limited data tasks with transfer learning. However, progress on transfer learning mainly focus…
CHAMP: Characterizing Undesired App Behaviors from User Comments based on Market Policies
Yangyu Hu, Haoyu Wang, Tiantong Ji +4
Millions of mobile apps have been available through various app markets. Although most app markets have enforced a number of automated or even manual mechanisms to vet each app bef…
Dynamic Slicing for Deep Neural Networks
Ziqi Zhang, Yuanchun Li, Yao Guo +2
Program slicing has been widely applied in a variety of software engineering tasks. However, existing program slicing techniques only deal with traditional programs that are constr…
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts
Ru Ji, Ningyu He, Lei Wu +3
Cryptocurrency has seen an explosive growth in recent years, thanks to the evolvement of blockchain technology and its economic ecosystem. Besides Bitcoin, thousands of cryptocurre…
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…
Adversarial Attacks on Monocular Depth Estimation
Ziqi Zhang, Xinge Zhu, Yingwei Li +2
Recent advances of deep learning have brought exceptional performance on many computer vision tasks such as semantic segmentation and depth estimation. However, the vulnerability o…
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…
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…
Automated Deobfuscation of Android Native Binary Code
Zeliang Kan, Haoyu Wang, Lei Wu +2
With the popularity of Android apps, different techniques have been proposed to enhance app protection. As an effective approach to prevent reverse engineering, obfuscation can be…
Characterizing Code Clones in the Ethereum Smart Contract Ecosystem
Ningyu He, Lei Wu, Haoyu Wang +2
In this paper, we present the first large-scale and systematic study to characterize the code reuse practice in the Ethereum smart contract ecosystem. We first performed a detailed…
Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing
Yuanchun Li, Ziyue Yang, Yao Guo +1
Automated input generators are widely used for large-scale dynamic analysis of mobile apps. Such input generators must constantly choose which UI element to interact with and how t…
Beyond Google Play: A Large-Scale Comparative Study of Chinese Android App Markets
Haoyu Wang, Zhe Liu, Jingyue Liang +6
China is one of the largest Android markets in the world. As Chinese users cannot access Google Play to buy and install Android apps, a number of independent app stores have emerge…
Automated Extraction of Personal Knowledge from Smartphone Push Notifications
Yuanchun Li, Ziyue Yang, Yao Guo +3
Personalized services are in need of a rich and powerful personal knowledge base, i.e. a knowledge base containing information about the user. This paper proposes an approach to ex…
Dating with Scambots: Understanding the Ecosystem of Fraudulent Dating Applications
Yangyu Hu, Haoyu Wang, Yajin Zhou +4
In this work, we are focusing on a new and yet uncovered way for malicious apps to gain profit. They claim to be dating apps. However, their sole purpose is to lure users into purc…
FraudDroid: Automated Ad Fraud Detection for Android Apps
Feng Dong, Haoyu Wang, Li Li +5
Although mobile ad frauds have been widespread, state-of-the-art approaches in the literature have mainly focused on detecting the so-called static placement frauds, where only a s…
A Study on Power Side Channels on Mobile Devices
Lin Yan, Yao Guo, Xiangqun Chen +1
Power side channel is a very important category of side channels, which can be exploited to steal confidential information from a computing system by analyzing its power consumptio…
Energy-aware Fixed-Priority Multi-core Scheduling for Real-time Systems
Yao Guo, Junyang Lu
Multi-core processors are becoming more and more popular in embedded and real-time systems. While fixed-priority scheduling with task-splitting in real-time systems are widely appl…