Lavanya Lokesh

According to our database, Lavanya Lokesh authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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., January, 2023

2020

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

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020