research
∙
06/15/2023
Concealing CAN Message Sequences to Prevent Schedule-based Bus-off Attacks
This work focuses on eliminating timing-side channels in real-time safet...
share
research
∙
06/15/2023
A Learning Assisted Method for Uncovering Power Grid Generation and Distribution System Vulnerabilities
Intelligent attackers can suitably tamper sensor/actuator data at variou...
research
∙
07/16/2022
Exploring The Resilience of Control Execution Skips against False Data Injection Attacks
Modern Cyber-Physical Systems (CPSs) are often designed as networked, so...
research
∙
05/02/2022
A CAD Framework for Simulation of Network Level Attack on Platoons
Recent developments in the smart mobility domain have transformed automo...
research
∙
07/18/2021
Co-designing Intelligent Control of Building HVACs and Microgrids
Building loads consume roughly 40 countries, a significant part of which...
research
∙
03/04/2021
An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems
Increased dependence on networked, software based control has escalated ...
research
∙
09/16/2020
PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems
In the past decade, high performance compute capabilities exhibited by h...
research
∙
07/16/2020
Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
We consider the problem of provably securing a given control loop implem...
research
∙
04/13/2020
Intelligent Orchestration of ADAS Pipelines on Next Generation Automotive Platforms
Advanced Driver-Assistance Systems (ADAS) is one of the primary drivers ...
research
∙
02/27/2020
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations
We consider the problem of securing a given control loop implementation ...
research
∙
01/27/2020