VLDB 2026 Research / reviewers in the wild / expert
Ke Cheng 0001
dblp:81/3800-1
· DBLP profile ↗
27ranked-venue papers
9as first author
21since 2021 · last 2026
0000-0001-7948-819XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 13 · 2 first-author · 11 since 2021Computer networks · 7 · 4 first-author · 3 since 2021Systems, architecture and hardware · 3 · 2 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Differentially Private Subspace Fine-Tuning for Large Language ModelsabstractFine-tuning large language models on downstream tasks is crucial for realizing their cross-domain potential but often relies on sensitive data, raising privacy concerns. Differential privacy (DP) offers rigorous privacy guarantees and has been widely adopted in fine-tuning; however, naively injecting noise across the high-dimensional parameter space creates perturbations with large norms, degrading performance and destabilizing training. To address this issue, we propose DP-SFT, a two-stage subspace fine-tuning method that substantially reduces noise magnitude while preserving formal DP guarantees. Our intuition is that, during fine-tuning, significant parameter updates lie within a low-dimensional, task-specific subspace, while other directions change minimally. Hence, we only inject DP noise into this subspace to protect privacy without perturbing irrelevant parameters. In phase one, we identify the subspace by analyzing principal gradient directions to capture task-specific update signals. In phase two, we project full gradients onto this subspace, add DP noise, and map the perturbed gradients back to the original parameter space for model updates, markedly lowering noise impact. Experiments on multiple datasets demonstrate that DP-SFT enhances accuracy and stability under rigorous DP constraints, accelerates convergence, and achieves substantial gains over DP fine-tuning baselines. Lele Zheng, Xiang Wang 0009, Tao Zhang 0029, Yang Cao 0011, Ke Cheng 0001, Yulong Shen 0001 |
AAAI | 5 |
| 2026 | PriFFT: Privacy-Preserving Federated Fine-Tuning of Large Language Models via Hybrid Secret Sharing
Zhichao You, Xuewen Dong, Ke Cheng 0001, Xutong Mu, Jiaxuan Fu, Shiyang Ma, Qiang Qu 0001, Yulong Shen 0001 |
IEEE Trans. Dependable Secur. Comput. | 3 |
| 2025 | Mosformer: Maliciously Secure Three-Party Inference Framework for Large TransformersabstractTransformer-based models like BERT and GPT have achieved state-of-the-art performance across a wide range of AI tasks but raise serious privacy concerns when deployed as cloud inference services. To address this, secure multi-party computation (MPC) is commonly employed, encrypting both user inputs and model parameters to enable inference without revealing any private information. However, existing MPC-based secure transformer inference protocols are predominantly designed under the semi-honest security model. Extending these protocols to support malicious security remains a significant challenge, primarily due to the substantial overhead introduced by securely evaluating complex non-linear functions required for adversarial resilience. We introduce Mosformer, the first maliciously secure three-party (3PC) inference framework that efficiently supports large transformers such as BERT and GPT. We first design constant-round comparison and lookup table protocols with malicious security, leveraging verifiable distributed point functions (VDPFs). Building on these, we develop a suite of 3PC protocols for efficient and secure evaluation of complex non-linear functions in transformers. Together with optimized modulus conversion, our approach substantially reduces the overhead of secure transformer inference while preserving model accuracy. Experimental results on the vanilla transformer block show that Mosformer achieves up to a 5.3× speedup and a 4.3× reduction in communication over prior maliciously secure protocols. Despite offering stronger security guarantees, Mosformer achieves comparable or even superior online performance to state-of-the-art semi-honest 2PC and 3PC frameworks, including BOLT (Oakland 2024), BumbleBee (NDSS 2025), SHAFT (NDSS 2025), and Ditto (ICML 2024), on full-scale models such as BERT and GPT-2. Ke Cheng 0001, Yuheng Xia, Anxiao Song, Jiaxuan Fu, Wenjie Qu 0001, Yulong Shen 0001, Jiaheng Zhang |
CCS | 1 |
| 2025 | Guard-GBDT: Efficient Privacy-Preserving Approximated GBDT Training on Vertical DatasetabstractIn light of increasing privacy concerns and stringent legal regulations, using secure multiparty computation (MPC) to enable collaborative GBDT model training among multiple data owners has garnered significant attention. Despite this, existing MPC-based GBDT frameworks face efficiency challenges due to high communication costs and the computation burden of non-linear operations, such as division and sigmoid calculations. In this work, we introduce Guard-GBDT, an innovative framework tailored for efficient and privacy-preserving GBDT training on vertical datasets. Guard-GBDT bypasses MPC-unfriendly division and sigmoid functions by using more streamlined approximations and reduces communication overhead by compressing the messages exchanged during gradient aggregation. We implement a prototype of Guard-GBDT and extensively evaluate its performance and accuracy on various real-world datasets. The results show that Guard-GBDT outperforms state-of-the-art HEP-XGB (CIKM’21) and SiGBDT (ASIA CCS’24) by up to $2.71 \times$ and $12.21 \times$ on LAN network and up to $2.7 \times$ and $8.2 \times$ on WAN network. Guard-GBDT also achieves comparable accuracy with SiGBDT and plaintext XGBoost (better than HEP-XGB), which exhibits a deviation of ±1% to ±2% only. Our implementation code is provided at https://github.com/XidianNSS/Guard-GBDT.git Anxiao Song, Shujie Cui, Jianli Bai, Ke Cheng 0001, Yulong Shen 0001, Giovanni Russello |
RAID | 4 |
| 2025 | Dynamic Pattern Matching on Encrypted Data With Forward and Backward SecurityabstractPattern matching is widely used in applications such as genomic data query analysis, network intrusion detection, and deep packet inspection (DPI). Performing pattern matching on plaintext data is straightforward, but the need to protect the security of analyzed data and analyzed patterns can significantly complicate the process. Due to the privacy security issues of data and patterns, researchers begin to explore pattern matching on encrypted data. However, existing solutions are typically built on static pattern matching methods, lacking dynamism, namely, the inability to perform addition or deletion operations on the analyzed data. This lack of flexibility might hinder the adaptability and effectiveness of pattern matching on encrypted data in the real‐world scenarios. In this paper, we design a dynamic pattern matching scheme on encrypted data with forward and backward security, which introduces much‐needed dynamism. Our scheme is able to implement the addition operation and the deletion operation on the encrypted data without affecting the security of the original pattern matching scheme. Specifically, we design secure addition and deletion algorithms based on fragmentation data structures, which are compatible with the static pattern matching scheme. Moreover, we make significant improvements to the key generation algorithm, the encryption algorithm, and the match algorithm of the static scheme to ensure forward and backward security. Theoretical analysis proves that our scheme satisfies forward and backward security while ensuring the nonfalsifiability of encrypted data. The experimental results show that our scheme has a slight increase in time cost compared to the static pattern matching scheme, demonstrating its practicality and effectiveness in dynamic scenarios. Xiaolu Chu, Ke Cheng 0001, Anxiao Song, Jiaxuan Fu |
IET Inf. Secur. | 2 |
| 2025 | Byzantine-Robust Federated Learning Framework via a Server-Client Defense MechanismsabstractFederated Learning (FL), a distributed machine learning (ML) framework, is susceptible to Byzantine attacks since the attacker can manipulate clients local data or models to compromise the performance of the global model. There has been a wealth of defenses developed to mitigate the attacks by limiting the impact of malicious models. Nevertheless, the attacker can easily circumvent these approaches that rely solely on a single server-side defense, stemming from the high dimensionality of models and the variety of Byzantine attacks. Therefore, we propose Basalt, a Byzantine-robust federated learning framework with a server-client joint defense mechanism that enables multiple clients to train a global ML model under Byzantine attacks. On the client side, we design an efficient self-defense approach with model-level penalty loss that restricts local-benign divergence and decreases local-malicious correlation to prevent misclassification. On the server side, we present an efficient defense strategy based on the manifold and maximum clique, further strengthening the FLs resilience against Byzantine attacks. We provide theoretical guarantees for global model convergence in FL with Byzantine attacks. Our extensive experiments demonstrate that Basalt outperforms existing state-of-the-art works. Especially, it achieves nearly 100% accuracy for detecting malicious clients in nonindependent and nonidentically distributed (Non-IID) MNIST datasets under various Byzantine attacks. Anxiao Song, Tao Zhang 0029, Ke Cheng 0001, Yang Cao 0011, Yulong Shen 0001 |
IEEE Internet Things J. | 3 |
| 2025 | Private Learning for Vertical Decision Trees: A Secure, Accurate, and Fast RealizationabstractPrivate learning for vertical decision trees (PVDT) is an emerging paradigm that allows multiple parties to execute cooperative training and inference of decision trees on vertically partitioned datasets, without revealing either party%'s data or model. The state-of-the-art PVDT schemes employ the secret-sharing-based secure multi-party computation (MPC) to admit low computational cost and low bandwidth. Nevertheless, existing schemes need many communication rounds for computing concrete protocols in PVDT, like the less-than comparison, division, etc. This property is not suited for large-communication-latency networks such as WAN. In this work, we present a two-party PVDT framework, calledSwan, to enable a secure, accurate, and fast realization of vertical decision trees. At the core of Swan, we design a secure and parallel protocol for$N$-input multiplication with one communication round. This forms the cornerstone for a series of secure and communication-efficient computation protocols specifically tailored to less-than comparison and division. Along the way, we use these optimized protocols to refine the training and inference processes of PVDT, achieving a significant reduction in both communication costs and rounds. Experimental results show Swan provides top-notch accuracy, and achieves a$10.2\times$and$2.8\times$improvement in online training and inference latency over WAN compared to prior art. Anxiao Song, Ke Cheng 0001, Jiaxuan Fu, Shujie Cui, Tao Zhang 0029, Zhao Chang, Yulong Shen 0001 |
IEEE Trans. Dependable Secur. Comput. | 2 |
| 2025 | A Novel Quantitative Risk Assessment Model for Industrial Control Systems Integrating the Cyber-Physical DomainabstractThe tight cyber–physical coupling in industrial control system (ICS) makes it vulnerable to attacks, where attackers can exploit system vulnerabilities to cross domain boundaries, causing significant losses. A novel quantitative risk assessment framework for ICS is proposed, integrating both the cyber domain and the physical domain to address potential risk assessment issues. First, an entropy-weighted technique for order preference by similarity to ideal solution method introducing triangular fuzzy numbers is proposed to solve the vulnerability index for multiattribute decision making to obtain the a prior probability. Second, the risk propagation mechanism of complex network topology and device interaction under ICS was studied, and the posterior probability model based on susceptible-exposed-infectious-recovered was designed to dynamically capture the propagation characteristics of risks in the network. Finally, the safety loss level is defined based on standard criteria to achieve quantitative risk assessment of ICS. The proposed risk assessment model was experimentally validated on the SWaT testbed, with results confirming its feasibility and effectiveness. Zhiyong Zhang 0002, Kefeng Fan, Ke Cheng 0001, Zhongya Zhang, Hang Zhang 0020 |
IEEE Trans. Ind. Informatics | 5 |
| 2024 | Private Decision Tree Evaluation with Malicious Security via Function Secret Sharing
Jiaxuan Fu, Ke Cheng 0001, Yuheng Xia, Anxiao Song, Qianxing Li, Yulong Shen 0001 |
ESORICS (2) | 2 |
| 2024 | Securely and Efficiently Outsourcing Neural Network Inference via Parallel MSB ExtractionabstractOutsourcing neural network (NN) inference services to the cloud gives rise to considerable privacy concerns about the model provider’s proprietary model and the user’s private data. Current cryptography-based secure NN inference schemes are not suited for high-latency networks due to their numerous communication overhead for computing the non-linear components of neural networks. In this paper, we present ParaNN, a secure cloud-based outsourced computation framework that supports lightweight secure neural network inference. At the core of ParaNN, we design a secure and parallel method for extracting the most significant bit (MSB) based on a parallel prefix adder. This forms the cornerstone for a series of secure and communication-efficient computation protocols specifically tailored to non-linear layers like ReLU and Maxpool. Our experiments show that ParaNN achieves a 6.7×-27.4× improvement in online inference time over wide area networks (WAN) compared to the state-of-the-art works. Ning Xi 0002, Ke Cheng 0001, Jiaxuan Fu, Yulong Shen 0001, Jianfeng Ma 0001 |
ICASSP | 3 |
| 2024 | Guard-FL: An UMAP-Assisted Robust Aggregation for Federated LearningabstractFederated learning (FL) in Internet of Things (IoT) applications facilitates the collaborative training of a global model across distributed devices with a server. Despite its potential, the distributed nature and vulnerability of IoT devices render FL susceptible to Byzantine attacks. Existing approaches to counter these attacks are often impractical in real-world IoT scenarios, mainly due to the challenges posed by nonindependent identically distributed (non-IID) data and the high-dimensional model common in IoT devices. To address these challenges, we propose Guard-FL, an efficient and robust aggregation mechanism assisted by uniform manifold approximation and projection (UMAP) for FL. Guard-FL is designed to enhance the performance of the global model in non-IID data environments without compromising defense capabilities. Specifically, it utilizes UMAP to capture non-linear features among high-dimensional local models. Based on these features, robust regression and unsupervised clustering techniques are applied to effectively detect and remove attackers from local model updates. Subsequently, the server employs information stored in weights to evaluate and aggregate the remaining divergent model updates, thus significantly improving the global models performance. To validate the efficacy of Guard-FL, we provide a theoretical analysis of its convergence properties. Our experiments demonstrate that Guard-FL surpasses existing stateof-the-art solutions, achieving up to 96% accuracy in detecting malicious clients on non-IID CIFAR-10 datasets under various Byzantine attack scenarios. The implementation code is provided at https://github.com/XidianNSS/Guard-FL.git Anxiao Song, Haoshuo Li, Ke Cheng 0001, Tao Zhang 0029, Aijing Sun, Yulong Shen 0001 |
IEEE Internet Things J. | 3 |
| 2024 | PPA-DBSCAN: Privacy-Preserving $\rho$ρ-Approximate Density-Based ClusteringabstractClustering is widely used for data analysis that partitions a set of data into multiple clusters, where objects in the same cluster have similar properties. Data for clustering analysis often comes from different data sources, which makes it important to maintain data privacy. However, existing privacypreserving clustering schemes either require the support of prior knowledge or are just applicable for small datasets due to impractical costs. To solve this issue, we follow a classical approximate DBSCAN clustering algorithm and adapt it to the privacy-preserving context. Concretely, to construct our secure approximate clustering algorithm, we propose a series of basic secure computation protocols among additively secret-shared values. In addition, we design a crypto-friendly grid partitioning method based on which an efficient and privacy-preserving approximation DBSCAN scheme is derived. Theoretical analysis and experimental results show that our scheme achieves almost the same cluster quality compared to the plain-text exact DBSCAN. Our extensive experiments on different datasets demonstrate that our scheme is accurate and efficient. Jiaxuan Fu, Ke Cheng 0001, Zhao Chang, Yulong Shen 0001 |
IEEE Trans. Dependable Secur. Comput. | 2 |
| 2024 | FedDMC: Efficient and Robust Federated Learning via Detecting Malicious ClientsabstractFederated learning (FL) has gained popularity in the field of machine learning, which allows multiple participants to collaboratively learn a highly-accurate global model without exposing their sensitive data. However, FL is susceptible to poisoning attacks, in which malicious clients manipulate local model parameters to corrupt the global model. Existing FL frameworks based on detecting malicious clients suffer from unreasonable assumptions (e.g., clean validation datasets) or fail to balance robustness and efficiency. To address these deficiencies, we propose FedDMC, which implements robust federated learning by efficiently and precisely detecting malicious clients. Specifically, FedDMC first applies principal component analysis to reduce the dimensionality of the model parameters, which retains the primary parameter feature and reduces the computational overhead for subsequent clustering. Then, a binary tree-based clustering method with noise is designed to eliminate the effect of noisy points in the clustering process, facilitating accurate and efficient malicious client detection. Finally, we design a self-ensemble detection correction module that utilizes historical results via exponential moving averages to improve the robustness of malicious client detection. Extensive experiments conducted on three benchmark datasets demonstrate that FedDMC outperforms state-of-the-art methods in terms of detection precision, global model accuracy, and computational complexity. Xutong Mu, Ke Cheng 0001, Yulong Shen 0001, Xiaoxiao Li 0001, Zhao Chang, Tao Zhang 0029, XinDi Ma |
IEEE Trans. Dependable Secur. Comput. | 2 |
| 2024 | FSS-DBSCAN: Outsourced Private Density-Based Clustering via Function Secret SharingabstractDensity-based clustering algorithms such as DBSCAN, are highly effective in handling large datasets and identifying clusters of arbitrary shapes, playing a crucial role in data analysis fields like outlier detection and social networks. Outsourcing DBSCAN to the cloud brings substantial benefits but also raises major privacy concerns regarding the private input data of data owners. Existing private DBSCAN methods often face challenges of inefficiency or potential privacy leakage, hindering their practical deployment. To address these challenges, we introduce FSS-DBSCAN, a three-server MPC platform designed for outsourced private density-based clustering using function secret sharing (FSS). This solution guarantees clustering quality equivalent to plaintext algorithms, ensures comprehensive privacy protection, and achieves top-tier efficiency. The high performance of FSS-DBSCAN is driven by two pivotal strategies. First, we devise an MPC-friendly DBSCAN algorithm that is highly compatible with efficient secret-sharing-based cryptographic protocols and benefits from GPU acceleration. Second, we construct novel FSS-based protocols tailored for complex operations integral to our DBSCAN variant, such as Euclidean distance comparison and point assignment, and further optimize their computation through tensorization techniques. We implement our platform as an extensible system on top of PyTorch that leverages GPU hardware acceleration for cryptographic and tensorized operations. These innovations enable FSS-DBSCAN to significantly outperform ppDBSCAN (AsiaCCS 2021), reducing the clustering time for 5000 samples to approximately 2 hours, achieving an$83.4\times $speed improvement. Jiaxuan Fu, Ke Cheng 0001, Anxiao Song, Yuheng Xia, Zhao Chang, Yulong Shen 0001 |
IEEE Trans. Inf. Forensics Secur. | 2 |
| 2024 | FedPTA: Prior-Based Tensor Approximation for Detecting Malicious Clients in Federated LearningabstractFederated learning (FL) is vulnerable to poisoning attacks, where malicious clients tamper their model parameters to deteriorate the global model. Existing methods for defending against poisoning attacks primarily rely on identifying malicious clients, but struggle to balance robustness and efficiency. To address these issues, we propose FedPTA, a Prior-based Tensor Approximation (PTA) method. The core idea of FedPTA is to detect malicious clients in federated learning by leveraging inherent priors. This method initially innovatively defines multi-round model parameters as a three-dimensional tensor and unfolds it along different dimensions. Subsequently, three inherent priors - the similarity among benign clients, the continuity of multi-round client model parameters and the sparsity of malicious parameters, are integrated into a convex optimization framework. Through the optimization process, the optimal solutions for the background tensor and anomaly tensor are solved. Ultimately, the anomaly tensor is used to highlight the element-level features of malicious parameters, effectively distinguishing malicious clients. Evaluative studies supported by theoretical significance demonstrate the effectiveness of FedPTA, outperforming current state-of-the-art methods in terms of detection accuracy and computational efficiency. Xutong Mu, Ke Cheng 0001, Tao Zhang 0029, Xueli Geng, Yulong Shen 0001 |
IEEE Trans. Inf. Forensics Secur. | 2 |
| 2023 | FedProc: Prototypical contrastive federated learning on non-IID data
Xutong Mu, Yulong Shen 0001, Ke Cheng 0001, Xueli Geng, Jiaxuan Fu, Tao Zhang 0029, Zhiwei Zhang 0004 |
Future Gener. Comput. Syst. | 3 |
| 2023 | Manto: A Practical and Secure Inference Service of Convolutional Neural Networks for IoTabstractAs convolutional neural networks (CNNs) exhibit remarkable performance in various inference tasks, it is increasingly important to enable Internet of Things (IoT) devices to perform CNN-based applications. Many companies provide their carefully trained neural networks as inference services for resource-constrained clients (e.g., IoT devices). However, the use of CNN inference in many IoT applications raises privacy concerns. Cryptographic inference services provide a way to perform neural inference efficiently and, at the same time, preserve both the privacy of the client’s input data and the server’s proprietary model. Unfortunately, the existing solutions incur severe latency costs, stemming mostly from nonlinear activations such as ReLUs, which make them still unsuitable for deployment in real IoT devices. In this article, we propose Manto, a secure inference system of CNNs for IoT. Manto makes the following two specific efforts by combining the insights of machine learning and cryptography. First, we customize different quadratic activation functions to replace specific ReLU layers and further propose a sliding-window-based fine-tuning method to produce CNN models involving no or few ReLUs. These techniques allow us to speedup cryptographic inference and guarantee inference accuracy. Second, we develop a series of cryptographic protocols that support ReLU activations and its approximation variants (i.e., polynomial activations), which purely rely on the lightweight secret sharing techniques in the online execution and can well cope with the above-mentioned optimized CNN models in the ciphertext domain. Our experimental results show Manto obtains state-of-the-art performance, reducing online inference latency by$66.2\%\sim 87.7\%$over prior works on CIFAR-100 and TinyImageNet data sets. Ke Cheng 0001, Jiaxuan Fu, Yulong Shen 0001, Haichang Gao, Ning Xi 0002, Zhiwei Zhang 0004 |
IEEE Internet Things J. | 1 |
| 2023 | Private Inference for Deep Neural Networks: A Secure, Adaptive, and Efficient RealizationabstractThe advances in deep neural networks (DNNs) have driven many companies to offer their carefully-trained DNNs as inference services for clients’ private data. The privacy concerns have increasingly motivated the need for private inference (PI), where DNN inferences are performed directly on encrypted data without revealing the client's private inputs to the server or revealing the server's proprietary DNN weights to the client. However, existing cryptographic protocols for PI suffer from impractically high latency, stemming mostly from non-linear operators like ReLU activations. In this paper, we propose PAPI, a Practical and Adaptive Private Inference framework. First, we develop an accuracy-adaptive neural architecture search (NAS) approach to generate DNN models tailored for high-efficiency ciphertext computation. Specifically, our NAS automatically generates the DNNs with fewer ReLUs while keeping the accuracy above a user-defined target. Second, we propose secure online/offline protocols for ReLU activation and its approximation variants (i.e., polynomial activations), which purely rely on the lightweight secret sharing techniques in the online execution and can well cope with our optimized DNNs in the ciphertext domain. Experimental results show that PAPI reduces online inference latency on the CIFAR-10/100 and ImageNet datasets by 2.7${\times}$$\sim$7.8${\times}$over the state-of-the-art. Ke Cheng 0001, Ning Xi 0002, Ximeng Liu, Haichang Gao, Zhiwei Zhang 0004, Yulong Shen 0001 |
IEEE Trans. Computers | 1 |
| 2023 | Secure Similar Sequence Query over Multi-source Genomic Data on CloudabstractCloud computing has been shown promising in enabling various analyses over large-scale genomic data integrated across multiple data sources. However, outsourcing data to remote cloud servers raises data-privacy concerns, therefore demands secure computing measures over the data analyzing process on the untrusted cloud servers. Due to the scale of genomic dataset and the length of each genomic sequence, it is challenging to evaluate data-analysis functions on outsourced genomic data securely and efficiently. In this work, we study the secure similar-sequence-query (SSQ) problem over outsourced genomic data. To address the challenges of security and efficiency, we propose a set of two-party computing protocols inmixed form, which combine secure secret sharing, garbled circuit, and partial homomorphic encryptions together and use them to jointly fulfill the secure SSQ function. Moreover, our scheme supports the fusion of genomic data from multiple data owners to generate a deduplicated-joint genomic dataset, therefore reduces the redundancy in the dataset. The performance improvements of our scheme are validated through extensive experiments on a commercial cloud platform over a real-world genomic dataset. Ke Cheng 0001, Yantian Hou, Liangmin Wang 0001 |
IEEE Trans. Cloud Comput. | 1 |
| 2023 | FuzzyDedup: Secure Fuzzy Deduplication for Cloud StorageabstractData deduplication is of critical importance to reduce the storage cost for clients and to relieve the unnecessary storage pressure for cloud servers. While various techniques have been proposed for secure deduplication of identical files/blocks, the effective and secure deduplication solutions on fuzzy similar data (image, video, and others) which occupy a large portion in the real world across wide applications, remain open. In this article, we propose a novel deduplication system, named Fuzzy Deduplication (FuzzyDedup), to implement the secure deduplication of similar data (i.e., similar files, chunks, or blocks). In particular, we leverage the similarity-preserving hash, a fuzzy extractor based on error-correcting codes, and the encryption with customized design to construct a fuzzy-style deduplication encryption scheme (FuzzyMLE), achieving the ciphertext-based deduplication for similar data. Besides, to defend against data ownership cheating attack and duplicate-faking attack, a fuzzy-style proof of ownership scheme (FuzzyPoW) is designed for the cloud server to securely verify a client in possession of the similar data. To further enhance security and efficiency, we also propose both server-aided and random-tag FuzzyMLE to make FuzzyDedup robust against off-line brute-force attack and to support tag randomization, respectively. Then, we design Hamming distance reduction and tag cutting optimization algorithms to improve the tag query efficiency of FuzzyDedup. In the end, we formally prove the security of our solution and conduct experiments on real-world datasets for performance evaluation. Experimental results exhibit the efficiency of FuzzyDedup in terms of computation cost and communication overhead. Tao Jiang 0017, Xu Yuan 0001, Yuan Chen 0008, Ke Cheng 0001, Liangmin Wang 0001, Xiaofeng Chen 0001, Jianfeng Ma 0001 |
IEEE Trans. Dependable Secur. Comput. | 4 |
| 2021 | Secure $k$k-NN Query on Encrypted Cloud Data with Multiple KeysabstractThe k-nearest neighbors (k-NN) query is a fundamental primitive in spatial and multimedia databases. It has extensive applications in location-based services, classification & clustering and so on. With the promise of confidentiality and privacy, massive data are increasingly outsourced to cloud in the encrypted form for enjoying the advantages of cloud computing (e.g., reduce storage and query processing costs). Recently, many schemes have been proposed to support k-NN query on encrypted cloud data. However, prior works have all assumed that the query users (QUs) are fully-trusted and know the key of the data owner (DO), which is used to encrypt and decrypt outsourced data. The assumptions are unrealistic in many situations, since many users are neither trusted nor knowing the key. In this paper, we propose a novel scheme for secure k-NN query on encrypted cloud data with multiple keys, in which the DO and each QU all hold their own different keys, and do not share them with each other; meanwhile, the DO encrypts and decrypts outsourced data using the key of his own. Our scheme is constructed by a distributed two trapdoors public-key cryptosystem (DT-PKC) and a set of protocols of secure two-party computation, which not only preserves the data confidentiality and query privacy but also supports the offline data owner. Our extensive theoretical and experimental evaluations demonstrate the effectiveness of our scheme in terms of security and performance. Ke Cheng 0001, Liangmin Wang 0001, Yulong Shen 0001, Hua Wang 0002, Yongzhi Wang 0001, Xiaohong Jiang 0001, Hong Zhong 0001 |
IEEE Trans. Big Data | 1 |
| 2020 | A Lightweight Auction Framework for Spectrum Allocation with Strong Security GuaranteesabstractAuction is an effective mechanism to distribute spectrum resources. Although many privacy-preserving auction schemes for spectrum allocation have been proposed, none of them is able to perform practical spectrum auctions while ensuring enough security for bidders' private information, such as geo-locations, bid values, and data access patterns. To address this problem, we propose SLISA, a lightweight auction framework which enables an efficient spectrum allocation without revealing anything but the auction outcome, i.e., the winning bidders and their clearing prices. We present contributions on two fronts. First, as a foundation of our design, we adopt a Shuffle-then-Compute strategy to build a series of secure sub-protocols based on lightweight cryptographic primitives (e.g., additive secret sharing and basic garbled circuits). Second, we improve an advanced spectrum auction mechanism to make it data-oblivious, such that data access patterns can be hidden. Meanwhile, the modified protocols adapt to our elaborate building blocks without affecting its validity and security. We formally prove the security of all protocols under a semi-honest adversary model, and demonstrate performance improvements compared with state-of-the-art works through extensive experiments. Ke Cheng 0001, Liangmin Wang 0001, Yulong Shen 0001, Yongzhi Wang 0001, Lele Zheng |
INFOCOM | 1 |
| 2019 | Flexibly and Securely Shape Your Data Disclosed to OthersabstractThis work is to enhance existing fine-grained access control to support a more expressive access policy over arithmetic operation results. We aim to enable data owners to flexibly bind a user's identity with his/her authorized access target according to a given access control policy, which indicates how a piece of data obfuscated by different noises. To this end, we design a cryptographic primitive that decouples the noisy data to two components, one associated with user identity, and the other one shared and dynamically changes, with the composite of these two components evaluated and revealed at user sides. The security of our scheme is formally proven using game based approach. We implement our system on a commercial cloud platform and use extensive experiments to validate its functionality and performance. Qing-Qing Xie, Yantian Hou, Ke Cheng 0001, Gaby G. Dagher, Liangmin Wang 0001, Shucheng Yu |
AsiaCCS | 3 |
| 2019 | Towards Efficient Privacy-Preserving Auction Mechanism for Two-Sided Cloud MarketsabstractAuction is an efficient trading mechanism for cloud markets and adopted by many major cloud providers, such as Amazon EC2. However, most cloud auction designs only target at economic robustness without considering the bidding privacy leakage, which would dramatically hamper the practical applications of truthful cloud auctions. Existing secure cloud auction mechanisms only work on the single-sided cloud markets rather than more practical two-sided markets, and these schemes are too unwieldy to be practical due to significant computation and communication overheads. To fill these gaps, in this paper we propose a privacy-preserving double auction mechanism for two-sided cloud markets, which would not leak any bidding information beyond the auction results to anyone. Technically, we start by presenting a novel secure sorting protocol in the mixed form, which combines additive secret sharing and garbled circuits together. On this basis, our design for secure cloud auction is implemented given consideration to bidding privacy and auction efficiency. Finally, we use extensive experiments to validate its efficacy and performance. Ke Cheng 0001, Yulong Slien, Liangmin Wang 0001, Hong Zhong 0001 |
ICC | 1 |
| 2019 | Strongly Secure and Efficient Range Queries in Cloud Databases under Multiple KeysabstractCloud database provides an advantageous platform for outsourcing of database service. To protect data confidentiality from an untrusted cloud, the original database is often encrypted and then uploaded to the cloud. However, in order to support functional queries, existing secure databases require users to encrypt their data under the same public/symmetric key, which restricts the usage scenarios since users do not really trust each other in practice. Imagine a scenario where a user uploaded his/her own encrypted data to the cloud database and another user wants to execute private range queries on this data. This scenario occurs in many cases of collaborative statistical analysis where the data provider and analyst are different entities. Then either the data provider must reveal its encryption key or the analyst must reveal the private queries. In this paper, we overcome this restriction for secure range queries by enabling query executions on the multi-key encryption data. We propose a secure cloud database supporting range queries under multiple keys, in which all users could preserve the confidentiality of their own different keys, and do not have to share them with each other. At a higher level, our system is constructed on a two-cloud architecture and a novel distributed two-trapdoor public key cryptosystem. We prove that the proposed scheme achieves the goal of a secure query without leaking data privacy, query privacy, and data access patterns. Finally, we use extensive experiments over a real-world dataset on a commercial cloud platform to verify the efficacy of our proposed scheme. Ke Cheng 0001, Yulong Shen 0001, Yongzhi Wang 0001, Liangmin Wang 0001, Jianfeng Ma 0001, Xionghong Jiang, Cuicui Su |
INFOCOM | 1 |
| 2019 | CFHider: Control Flow Obfuscation with Intel SGXabstractWhen a program is executed on an untrusted cloud, the confidentiality of the program's logics needs to be protected. Control flow obfuscation is a direct approach to obtain this goal. However, existing methods in this direction cannot achieve both high confidentiality and low overhead. In this paper, we propose CFHider, a hardware-assisted method to protect the control flow confidentiality. By combining program transformation and Intel Software Guard Extension (SGX) technology, CFHider moves branch statement conditions to an opaque and trusted memory space, i.e., the enclave, thereby offering a guaranteed control flow confidentiality. Based on the design of CFHider, we developed a prototype system targeting on Java applications. Our analysis and experimental results indicate that CFHider is effective in protecting the control flow confidentiality and incurs a much reduced performance overhead than existing software-based solutions (by a factor of 8.8). Yongzhi Wang 0001, Yulong Shen 0001, Cuicui Su, Ke Cheng 0001, Anter Faree, Yao Liu 0007 |
INFOCOM | 4 |
| 2018 | Secure Similar Sequence Query on Outsourced Genomic DataabstractThe growing availability of genomic data is unlocking research potentials on genomic-data analysis. It is of great importance to outsource the genomic-analysis tasks onto clouds to leverage their powerful computational resources over the large-scale genomic sequences. However, the remote placement of the data raises personal-privacy concerns, and it is challenging to evaluate data-analysis functions on outsourced genomic data securely and efficiently. In this work, we study the secure similar-sequence-query (SSQ) problem over outsourced genomic data, which has not been fully investigated. To address the challenges of security and efficiency, we propose two protocols in the mixed form, which combine two-party secure secret sharing, garbled circuit, and partial homomorphic encryptions together and use them to jointly fulfill the secure SSQ function. In addition, our protocols support multi-user queries over a joint genomic data set collected from multiple data owners, making our solution scalable. We formally prove the security of protocols under the semi-honest adversary model, and theoretically analyze the performance. We use extensive experiments over real-world dataset on a commercial cloud platform to validate the efficacy of our proposed solution, and demonstrate the performance improvements compared with state-of-the-art works. Ke Cheng 0001, Yantian Hou, Liangmin Wang 0001 |
AsiaCCS | 1 |