research
∙
09/20/2020
Safety-Critical Online Control with Adversarial Disturbances
This paper studies the control of safety-critical dynamical systems in t...
share
research
∙
07/27/2020
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries
A cyber-physical system (CPS) is expected to be resilient to more than o...
research
∙
07/24/2020
Stochastic Dynamic Information Flow Tracking Game using Supervised Learning for Detecting Advanced Persistent Threats
Advanced persistent threats (APTs) are organized prolonged cyberattacks ...
research
∙
07/22/2020
Secure Control in Partially Observable Environments to Satisfy LTL Specifications
This paper studies the synthesis of control policies for an agent that h...
research
∙
06/30/2020
A Multi-Agent Reinforcement Learning Approach for Dynamic Information Flow Tracking Games for Advanced Persistent Threats
Advanced Persistent Threats (APTs) are stealthy attacks that threaten th...
research
∙
06/22/2020
Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach
Advanced Persistent Threats (APTs) are stealthy customized attacks by in...
research
∙
01/19/2020
FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback
Reinforcement learning has been successful in training autonomous agents...
research
∙
12/08/2019
Covert Channel-Based Transmitter Authentication in Controller Area Networks
In recent years, the security of automotive Cyber-Physical Systems (CPSs...
research
∙
10/27/2019
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates
This paper studies the satisfaction of a class of temporal properties fo...
research
∙
07/25/2019
Mitigating Vulnerabilities of Voltage-based Intrusion Detection Systems in Controller Area Networks
Data for controlling a vehicle is exchanged among Electronic Control Uni...
research
∙
07/20/2019
Potential-Based Advice for Stochastic Policy Learning
This paper augments the reward received by a reinforcement learning agen...
research
∙
04/22/2019
Detecting ADS-B Spoofing Attacks using Deep Neural Networks
The Automatic Dependent Surveillance-Broadcast (ADS-B) system is a key c...
research
∙
03/16/2019
Secure Control under Partial Observability with Temporal Logic Constraints
This paper studies the synthesis of control policies for an agent that h...
research
∙
11/14/2018
A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats
Advanced Persistent Threats (APTs) infiltrate cyber systems and compromi...
research
∙
07/25/2018