14 citations · 72 across the 41 of their papers we have counts for
5 papers · 1 filter
LDL: A Defense for Label-Based Membership Inference Attacks
Arezoo Rajabi, Dinuka Sahabandu, Luyao Niu +2
The data used to train deep neural network (DNN) models in applications such as healthcare and finance typically contain sensitive information. A DNN model may suffer from overfitt…
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
Abdullah Al Maruf, Luyao Niu, Andrew Clark +2
Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults…
Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks
Luyao Niu, Zhouchi Li, Andrew Clark
We study the problem of synthesizing a controller to satisfy a complex task in the presence of sensor faults and attacks. We model the task using Gaussian distribution temporal log…
Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks
Hongchao Zhang, Shiyu Cheng, Luyao Niu +1
Autonomous Cyber-Physical Systems (CPS) fuse proprioceptive sensors such as GPS and exteroceptive sensors including Light Detection and Ranging (LiDAR) and cameras for state estima…
An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee
Luyao Niu, Abdullah Al Maruf, Andrew Clark +2
Cyber-physical systems (CPS) are required to operate safely under fault and malicious attacks. The simplex architecture and the recently proposed cyber resilient architectures, e.g…