14 citations · 108 across the 39 of their papers we have counts for
4 papers · 1 filter
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…
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks
Luyao Niu, Jie Fu, Andrew Clark
Cyber-physical systems are conducting increasingly complex tasks, which are often modeled using formal languages such as temporal logic. The system's ability to perform the require…
Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks
Xuhang Ying, Sang Uk Sagong, Andrew Clark +2
This paper presents a new masquerade attack called the cloaking attack and provides formal analyses for clock skew-based Intrusion Detection Systems (IDSs) that detect masquerade a…
Controlled Islanding via Weak Submodularity
Zhipeng Liu, Andrew Clark, Linda Bushnell +2
Cascading failures typically occur following a large disturbance in power systems, such as tripping of a generating unit or a transmission line. Such failures can propagate and des…