3 papers
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…
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…