35 citations · 62 across the 11 of their papers we have counts for
12 papers
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…
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…
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…
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…
Co-designing Intelligent Control of Building HVACs and Microgrids
Rumia Masburah, Sayan Sinha, Rajib Lochan Jana +2
Building loads consume roughly 40% of the energy produced in developed countries, a significant part of which is invested towards building temperature-control infrastructure. There…
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…
PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems
Anirban Ghose, Siddharth Singh, Vivek Kulaharia +3
In the past decade, high performance compute capabilities exhibited by heterogeneous GPGPU platforms have led to the popularity of data parallel programming languages such as CUDA…
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…
Intelligent Orchestration of ADAS Pipelines on Next Generation Automotive Platforms
Anirban Ghose, Srijeeta Maity, Arijit Kar +2
Advanced Driver-Assistance Systems (ADAS) is one of the primary drivers behind increasing levels of autonomy, driving comfort in this age of connected mobility. However, the perfor…
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…
Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA
Johann Knechtel, Elif Bilge Kavun, Francesco Regazzoni +10
Modern electronic systems become evermore complex, yet remain modular, with integrated circuits (ICs) acting as versatile hardware components at their heart. Electronic design auto…
Multi-mode Sampling Period Selection for Embedded Real Time Control
Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti +1
Recent studies have shown that adaptively regulating the sampling rate results in significant reduction in computational resources in embedded software based control. Selecting a u…