CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software

I Koley, S Dey, D Mukhopadhyay, S Singh… - ACM Transactions on …, 2023 - dl.acm.org
Modern vehicles contain a multitude of electronic control units that implement software
features controlling most of the operational, entertainment, connectivity, and safety aspects …

[PDF][PDF] CAD support for Security and Robustness Analysis of Safety-Critical Automotive Sotware

I KOLEY, S DEY, D MUKHOPADHYAY, SK SINGH… - 2022 - academia.edu
Authors' addresses: Ipsita Koley, Indian Institute of Technology Kharagpur,, Kharagpur
721302, India, ipsitakoley@ iitkgp. ac. in; Soumyajit Dey, Indian Institute of Technology …

[PDF][PDF] CAD support for Security and Robustness Analysis of Safety-Critical Automotive Sotware

I KOLEY, S DEY, D MUKHOPADHYAY, SK SINGH… - 2022 - academia.edu
Authors' addresses: Ipsita Koley, Indian Institute of Technology Kharagpur,, Kharagpur
721302, India, ipsitakoley@ iitkgp. ac. in; Soumyajit Dey, Indian Institute of Technology …