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

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

collaborators

10 papers

eess.SY2026

Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture

Sunandan Adhikary, Soumyajit Dey

Modern cyber-physical systems often have a two-layered design, where the primary controller is AI-enabled or an analytical controller optimising some specific cost function. If the…

eess.SY2026

Mitigating Timing-Based Attacks in Real-Time Cyber-Physical Systems

Arkaprava Sain, Sunandan Adhikary, Soumyajit Dey

Real-time cyber-physical systems depend on deterministic task execution to guarantee safety and correctness. Unfortunately, this determinism can unintentionally expose timing infor…

eess.SY2024

Learning-Enabled Adaptive Voltage Protection Against Load Alteration Attacks On Smart Grids

Anjana B., Suman Maiti, Sunandan Adhikary +2

Smart grids are designed to efficiently handle variable power demands, especially for large loads, by real-time monitoring, distributed generation and distribution of electricity.…

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…