research
∙
05/29/2023
Securing Cloud File Systems using Shielded Execution
Cloud file systems offer organizations a scalable and reliable file stor...
share
research
∙
04/13/2022
Joint Coreset Construction and Quantization for Distributed Machine Learning
Coresets are small, weighted summaries of larger datasets, aiming at pro...
research
∙
03/26/2022
Preventing Outages under Coordinated Cyber-Physical Attack with Secured PMUs
Due to the potentially severe consequences of coordinated cyber-physical...
research
∙
02/08/2021
Communication-efficient k-Means for Edge-based Machine Learning
We consider the problem of computing the k-means centers for a large hig...
research
∙
01/18/2021
Verifiable Failure Localization in Smart Grid under Cyber-Physical Attacks
Cyber-physical attacks impose a significant threat to the smart grid, as...
research
∙
12/18/2020
Additive Link Metrics Identification: Proof of Selected Lemmas and Propositions
This is a technical report, containing all the lemma and proposition pro...
research
∙
12/18/2020
Identification of Additive Link Metrics: Proof of Selected Theorems
This is a technical report, containing all the theorem proofs in the fol...
research
∙
12/17/2020
Efficient Identification of Additive Link Metrics: Theorem Proof and Evaluations
This is a technical report, containing all the theorem proofs and additi...
research
∙
12/17/2020
Partial Network Identifiability: Theorem Proof and Evaluation
This is a technical report, containing all the theorem proofs and additi...
research
∙
12/17/2020
Link Identifiability with Two Monitors: Proof of Selected Theorems
This is a technical report, containing all the theorem proofs in paper "...
research
∙
12/17/2020
Fundamental Theories in Node Failure Localization
This is a technical report, containing all the theorem proofs in paper "...
research
∙
12/17/2020
Failure Localization Capability: Theorem Proof and Evaluation
This is a technical report, containing all the theorem proofs and additi...
research
∙
12/17/2020
Node Failure Localization: Theorem Proof
This is a technical report, containing all the theorem proofs in paper "...
research
∙
09/04/2020
Power Grid State Estimation under General Cyber-Physical Attacks
Effective defense against cyber-physical attacks in power grid requires ...
research
∙
07/06/2020
Sharing Models or Coresets: A Study based on Membership Inference Attack
Distributed machine learning generally aims at training a global model b...
research
∙
07/06/2020
Online Learning of Facility Locations
In this paper, we provide a rigorous theoretical investigation of an onl...
research
∙
06/17/2019
Service Placement with Provable Guarantees in Heterogeneous Edge Computing Systems
Mobile edge computing (MEC) is a promising technique for providing low-l...
research
∙
04/11/2019
Robust Coreset Construction for Distributed Machine Learning
Motivated by the need of solving machine learning problems over distribu...
research
∙
03/26/2019
On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography
Boolean network tomography is a powerful tool to infer the state (workin...
research
∙
04/14/2018