activity
20202024
most citedSkip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions

12 citations · 23 across the 8 of their papers we have counts for

collaborators

8 papers

eess.SY2024

Enhancing Attack Resilience in Real-Time Systems through Variable Control Task Sampling Rates

Arkaprava Sain, Sunandan Adhikary, Ipsita Koley +1

Cyber-physical systems (CPSs) in modern real-time applications integrate numerous control units linked through communication networks, each responsible for executing a mix of real-…

cs.CR2023

Concealing CAN Message Sequences to Prevent Schedule-based Bus-off Attacks

Sunandan Adhikary, Ipsita Koley, Arkaprava Sain +3

This work focuses on eliminating timing-side channels in real-time safety-critical cyber-physical network protocols like Controller Area Networks (CAN). Automotive Electronic Contr…

cs.CR2023

A Learning Assisted Method for Uncovering Power Grid Generation and Distribution System Vulnerabilities

Suman Maiti, Anjana B, Sunandan Adhikary +2

Intelligent attackers can suitably tamper sensor/actuator data at various Smart grid surfaces causing intentional power oscillations, which if left undetected, can lead to voltage…

eess.SY2022

Exploring The Resilience of Control Execution Skips against False Data Injection Attacks

Ipsita Koley, Sunandan Adhikary, Soumyajit Dey

Modern Cyber-Physical Systems (CPSs) are often designed as networked, software-based controller implementations which have been found to be vulnerable to network-level and physical…

cs.CR2022★ 3 cited

A CAD Framework for Simulation of Network Level Attack on Platoons

Ipsita Koley, Sunandan Adhikary, Rohit Rohit +1

Recent developments in the smart mobility domain have transformed automobiles into networked transportation agents helping realize new age, large-scale intelligent transportation s…

cs.CR2021★ 8 cited

An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems

Ipsita Koley, Sunandan Adhikary, Soumyajit Dey

Increased dependence on networked, software based control has escalated the vulnerabilities of Cyber Physical Systems (CPSs). Detection and monitoring components developed leveragi…

cs.CR2020★ 12 cited

Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions

Sunandan Adhikary, Ipsita Koley, Sumana Ghosh +3

We consider the problem of provably securing a given control loop implementation in the presence of adversarial interventions on data exchange between plant and controller. Such in…

cs.CR2020

Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations

Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey +6

We consider the problem of securing a given control loop implementation of a cyber-physical system (CPS) in the presence of Man-in-the-Middle attacks on data exchange between plant…