Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. - Ipsita Koley; Saurav Kumar Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay; Amogh Kashyap K. N.; Sachin Kumar Singh; Lavanya Lokesh; Jithin Nalu Purakkal; Nishant Sinha 003 (DATE, 2020)

CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software. - Ipsita Koley; Soumyajit Dey; Debdeep Mukhopadhyay; Sachin Kumar Singh; Lavanya Lokesh; Shantaram Vishwanath Ghotgalkar (ACM Trans. Cyber Phys. Syst., 2023)