activity
20182026
most citedOptimal Secure Control with Linear Temporal Logic Constraints

14 citations · 72 across the 41 of their papers we have counts for

collaborators
Showing 2023Show all

5 papers · 1 filter

cs.CR2023★ 4 cited

Identifying and Mitigating Vulnerabilities in LLM-Integrated Applications

Fengqing Jiang, Zhangchen Xu, Luyao Niu +4

Large language models (LLMs) are increasingly deployed as the service backend for LLM-integrated applications such as code completion and AI-powered search. LLM-integrated applicat…

cs.CR2023★ 1 cited

MDTD: A Multi Domain Trojan Detector for Deep Neural Networks

Arezoo Rajabi, Surudhi Asokraj, Fengqing Jiang +4

Machine learning models that use deep neural networks (DNNs) are vulnerable to backdoor attacks. An adversary carrying out a backdoor attack embeds a predefined perturbation called…

eess.SY2023

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

Luyao Niu, Abdullah Al Maruf, Andrew Clark +2

Interconnected systems such as power systems and chemical processes are often required to satisfy safety properties in the presence of faults and attacks. Verifying safety of these…

cs.AI2023

Risk-Aware Distributed Multi-Agent Reinforcement Learning

Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian +2

Autonomous cyber and cyber-physical systems need to perform decision-making, learning, and control in unknown environments. Such decision-making can be sensitive to multiple factor…

math.OC2023★ 4 cited

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

Luyao Niu, Dinuka Sahanbandu, Andrew Clark +1

Disturbances may create cascading failures in power systems and lead to widespread blackouts. Controlled islanding is an effective approach to mitigate cascading failures by partit…