Ridhi Jain

According to our database, Ridhi Jain authored at least 8 papers between 2018 and 2024.

Collaborative distances:

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

2024

CyberMetric: A Benchmark Dataset for Evaluating Large Language Models Knowledge in Cybersecurity.

Norbert Tihanyi, Mohamed Amine Ferrag, Ridhi Jain, Mérouane Debbah

CoRR, 2024

Why Doesn't Microsoft Let Me Sleep? How Automaticity of Windows Updates Impacts User Autonomy.

Sanju Ahuja, Ridhi Jain, Jyoti Kumar

CoRR, 2024

2023

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro

CoRR, 2023

The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification.

Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis

Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering, 2023

A Code Centric Evaluation of C/C++ Vulnerability Datasets for Deep Learning Based Vulnerability Detection Techniques.

Ridhi Jain, Nicole Gervasoni, Mthandazo Ndhlovu, Sanjay Rawat

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

Handling Communication via APIs for Microservices.

Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

2022

BiRD: Race Detection in Software Binaries under Relaxed Memory Models.

Ridhi Jain, Rahul Purandare, Subodh Sharma

ACM Trans. Softw. Eng. Methodol., 2022

2018

A search system for mathematical expressions on software binaries.

Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare

Proceedings of the 15th International Conference on Mining Software Repositories, 2018