6 citations · 21 across the 12 of their papers we have counts for
12 papers
Eliminating Information Leakage in Hard Concept Bottleneck Models with Supervised, Hierarchical Concept Learning
Ao Sun, Yuanyuan Yuan, Pingchuan Ma +1
Concept Bottleneck Models (CBMs) aim to deliver interpretable and interventionable predictions by bridging features and labels with human-understandable concepts. While recent CBMs…
Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing
Yuanyuan Yuan, Qi Pang, Shuai Wang
Contemporary DNN testing works are frequently conducted using metamorphic testing (MT). In general, de facto MT frameworks mutate DNN input images using semantics-preserving mutati…
Decompiling x86 Deep Neural Network Executables
Zhibo Liu, Yuanyuan Yuan, Shuai Wang +2
Due to their widespread use on heterogeneous hardware devices, deep learning (DL) models are compiled into executables by DL compilers to fully leverage low-level hardware primitiv…
CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software
Yuanyuan Yuan, Zhibo Liu, Shuai Wang
Cache side-channel attacks extract secrets by examining how victim software accesses cache. To date, practical attacks on cryptosystems and media libraries are demonstrated under d…
Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees
Banghua Zhu, Lun Wang, Qi Pang +4
We propose Byzantine-robust federated learning protocols with nearly optimal statistical rates. In contrast to prior work, our proposed protocols improve the dimension dependence a…
ADI: Adversarial Dominating Inputs in Vertical Federated Learning Systems
Qi Pang, Yuanyuan Yuan, Shuai Wang +1
Vertical federated learning (VFL) system has recently become prominent as a concept to process data distributed across many individual sources without the need to centralize it. Mu…
Automated Side Channel Analysis of Media Software with Manifold Learning
Yuanyuan Yuan, Qi Pang, Shuai Wang
The prosperous development of cloud computing and machine learning as a service has led to the widespread use of media software to process confidential media data. This paper explo…
MDPFuzz: Testing Models Solving Markov Decision Processes
Qi Pang, Yuanyuan Yuan, Shuai Wang
The Markov decision process (MDP) provides a mathematical framework for modeling sequential decision-making problems, many of which are crucial to security and safety, such as auto…
Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing
Yuanyuan Yuan, Qi Pang, Shuai Wang
Deep neural networks (DNNs) often accept high-dimensional media data (e.g., photos, text, and audio) and understand their perceptual content (e.g., a cat). To test DNNs, diverse in…
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion
Yuanyuan Yuan, Qi Pang, Shuai Wang
Various deep neural network (DNN) coverage criteria have been proposed to assess DNN test inputs and steer input mutations. The coverage is characterized via neurons having certain…
FED-: Privacy Preserving Federated Correlation Test
Lun Wang, Qi Pang, Shuai Wang +1
In this paper, we propose the first secure federated -test protocol Fed-. To minimize both the privacy leakage and the communication cost, we recast -test to the sec…
Towards Bidirectional Protection in Federated Learning
Lun Wang, Qi Pang, Shuai Wang +1
Prior efforts in enhancing federated learning (FL) security fall into two categories. At one end of the spectrum, some work uses secure aggregation techniques to hide the individua…