Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling
Sain, Arkaprava, Singh, Suraj, Adhikary, Sunandan, Koley, Ipsita, Dey, Soumyajit
Published in 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS) (01.05.2023)
Published in 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS) (01.05.2023)
Get full text
Conference Proceeding
A Framework for Evaluating Connected Vehicle Security against False Data Injection Attacks
Koley, Ipsita, Adhikary, Sunandan, Rohit, Dey, Soumyajit
Published in 2022 25th Euromicro Conference on Digital System Design (DSD) (01.08.2022)
Published in 2022 25th Euromicro Conference on Digital System Design (DSD) (01.08.2022)
Get full text
Conference Proceeding
SMT-Based Verification of Safety-Critical Embedded Control Software
Adhikary, Sunandan, Gurung, Amit, Thakkar, Jay, Costa, Antonio Bruto Da, Dey, Soumyajit, Hazra, Aritra, Dasgupta, Pallab
Published in IEEE embedded systems letters (01.09.2021)
Published in IEEE embedded systems letters (01.09.2021)
Get full text
Journal Article
Thinking Beyond Bus-off: Targeted Control Falsification in CAN
Koley, Ipsita, Adhikary, Sunandan, Dey, Soumyajit
Published in 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) (13.05.2024)
Published in 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) (13.05.2024)
Get full text
Conference Proceeding
A Learning Assisted Method for Uncovering Power Grid Generation and Distribution System Vulnerabilities
Maiti, Suman, B, Anjana, Adhikary, Sunandan, Koley, Ipsita, Dey, Soumyajit
Year of Publication 15.06.2023
Year of Publication 15.06.2023
Get full text
Journal Article
Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks
Adhikary, Sunandan, Koley, Ipsita, Maity, Srijeeta, Dey, Soumyajit
Published in 2022 IEEE Real-Time Systems Symposium (RTSS) (01.12.2022)
Published in 2022 IEEE Real-Time Systems Symposium (RTSS) (01.12.2022)
Get full text
Conference Proceeding
A CAD Framework for Simulation of Network Level Attack on Platoons
Get full text
Paper
Journal Article
Concealing CAN Message Sequences to Prevent Schedule-based Bus-off Attacks
Adhikary, Sunandan, Koley, Ipsita, Sain, Arkaprava, das, Soumyadeep, Saha, Shuvam, Dey, Soumyajit
Year of Publication 15.06.2023
Year of Publication 15.06.2023
Get full text
Journal Article
Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
Adhikary, Sunandan, Koley, Ipsita, Ghosh, Sumana, Ghosh, Saurav Kumar, Dey, Soumyajit, Mukhopadhyay, Debdeep
Published in arXiv.org (16.07.2020)
Published in arXiv.org (16.07.2020)
Get full text
Paper
Journal Article