6 papers
Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems
Luyao Niu, Hongchao Zhang, Dinuka Sahabandu +3
Multi-agent cyber-physical systems are present in a variety of applications. Agent decision-making can be affected due to errors induced by uncertain, dynamic operating environment…
A Natural Language Processing Approach for Instruction Set Architecture Identification
Dinuka Sahabandu, Sukarno Mertoguno, Radha Poovendran
Binary analysis of software is a critical step in cyber forensics applications such as program vulnerability assessment and malware detection. This involves interpreting instructio…
A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries
Luyao Niu, Dinuka Sahabandu, Andrew Clark +1
Controlled islanding effectively mitigates cascading failures by partitioning the power system into a set of disjoint islands. In this paper, we study the controlled islanding prob…
Scalable Planning in Multi-Agent MDPs
Dinuka Sahabandu, Luyao Niu, Andrew Clark +1
Multi-agent Markov Decision Processes (MMDPs) arise in a variety of applications including target tracking, control of multi-robot swarms, and multiplayer games. A key challenge in…
Submodular Input Selection for Synchronization in Kuramoto Networks
Dinuka Sahabandu, Andrew Clark, Linda Bushnell +1
Synchronization is an essential property of engineered and natural networked dynamical systems. The Kuramoto model of nonlinear synchronization has been widely studied in applicati…
A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats
Shana Moothedath, Dinuka Sahabandu, Joey Allen +4
Advanced Persistent Threats (APTs) infiltrate cyber systems and compromise specifically targeted data and/or resources through a sequence of stealthy attacks consisting of multiple…