Luyao Niu

Bo Li

CoRR, 2024

SafeDecoding: Defending against Jailbreak Attacks via Safety-Aware Decoding.

[BibT_eX]

[DOI]

CoRR, 2024

Game of Trojans: Adaptive Adversaries Against Output-based Trojaned-Model Detectors.

[BibT_eX]

[DOI]

Bo Li

CoRR, 2024

Brave: Byzantine-Resilient and Privacy-Preserving Peer-to-Peer Federated Learning.

[BibT_eX]

[DOI]

CoRR, 2024

2023

A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., July, 2023

LQG Reference Tracking With Safety and Reachability Guarantees Under Unknown False Data Injection Attacks.

[BibT_eX]

[DOI]

Zhouchi Li

IEEE Trans. Autom. Control., February, 2023

Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments.

[BibT_eX]

[DOI]

Games, 2023

Identifying and Mitigating Vulnerabilities in LLM-Integrated Applications.

[BibT_eX]

[DOI]

CoRR, 2023

Risk-Aware Distributed Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Abdullah Al Maruf

CoRR, 2023

A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees.

[BibT_eX]

[DOI]

CoRR, 2023

FedGame: A Game-Theoretic Defense against Backdoor Attacks in Federated Learning.

[BibT_eX]

[DOI]

Bo Li

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases.

[BibT_eX]

[DOI]

Abdullah Al Maruf

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

A Submodular Energy Function Approach to Controlled Islanding with Provable Stability.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

MDTD: A Multi-Domain Trojan Detector for Deep Neural Networks.

[BibT_eX]

[DOI]

James A. Ritcey

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Cognitive Bias-Aware Dissemination Strategies for Opinion Dynamics with External Information Sources.

[BibT_eX]

[DOI]

Abdullah Al Maruf

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

LDL: A Defense for Label-Based Membership Inference Attacks.

[BibT_eX]

[DOI]

Arezoo Rajabi

Dinuka Sahabandu

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

POSTER: A Common Framework for Resilient and Safe Cyber-Physical System Design.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

Game of Trojans: A Submodular Byzantine Approach.

[BibT_eX]

[DOI]

CoRR, 2022

A Hybrid Submodular Optimization Approach to Controlled Islanding with Heterogeneous Loads.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2022

Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks.

[BibT_eX]

[DOI]

Zhouchi Li

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

A Submodular Optimization Approach to Stable and Minimally Disruptive Controlled Islanding in Power Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

A Differentially Private Incentive Design for Traffic Offload to Public Transportation.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2021

Secure Control in Partially Observable Environments to Satisfy LTL Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks.

[BibT_eX]

[DOI]

Jie Fu

IEEE Trans. Autom. Control., 2021

A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 12th International Conference, 2021

Scalable Planning in Multi-Agent MDPs.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Reinforcement Learning Beyond Expectation.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions.

[BibT_eX]

[DOI]

Hongchao Zhang

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Optimal Secure Control With Linear Temporal Logic Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks.

[BibT_eX]

[DOI]

Linda Bushnell

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 10th International Conference, 2019

A Framework for Joint Attack Detection and Control Under False Data Injection.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 10th International Conference, 2019

LQG Reference Tracking with Safety and Reachability Guarantees under False Data Injection Attacks.

[BibT_eX]

[DOI]

Zhouchi Li

Proceedings of the 2019 American Control Conference, 2019

2018

A Differentially Private and Truthful Incentive Mechanism for Traffic Offload to Public Transportation.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 9th International Conference, 2018

Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks.

[BibT_eX]

[DOI]

Jie Fu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Secure Control Under Linear Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Linear Quadratic Gaussian Control Under False Data Injection Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2016

On the accuracy of Wi-Fi localization using robot and human collected signatures.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2016

A Nash Bargaining Approach to Emergency Demand Response in Colocation Data Centers.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Global Communications Conference, 2016

Enabling reliable data center demand response via aggregation.

[BibT_eX]

[DOI]