Ridhi Jain

According to our database, Ridhi Jain authored at least 22 papers between 2018 and 2025.

Collaborative distances:

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

2025

SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection With LLMs?

Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi, Ridhi Jain, Diana Maimut, Fatima Alwahedi, Thierry Lestable, Narinderjit Singh Thandi, Abdechakour Mechri, Mérouane Debbah, Lucas C. Cordeiro

IEEE Trans. Software Eng., April, 2025

How secure is AI-generated code: a large-scale comparison of large language models.

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

Empir. Softw. Eng., March, 2025

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview.

Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Bilel Cherif, Richard A. Dubniczky, Ridhi Jain, Lucas C. Cordeiro

CoRR, March, 2025

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models.

Ridhi Jain, Rahul Purandare

CoRR, January, 2025

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination.

Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

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

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

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2025

2024

Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence.

Norbert Tihanyi, Tamás Bisztray, Richard A. Dubniczky, Rebeka Tóth, Bertalan Borsos, Bilel Cherif, Mohamed Amine Ferrag, Lajos Muzsai, Ridhi Jain, Ryan Marinelli, Lucas C. Cordeiro, Mérouane Debbah

CoRR, 2024

Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies.

Ridhi Jain, Norbert Tihanyi, Mohamed Amine Ferrag

CoRR, 2024

Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models.

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

CoRR, 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

Rapid Taint Assisted Concolic Execution (TACE).

Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge.

Norbert Tihanyi, Mohamed Amine Ferrag, Ridhi Jain, Tamás Bisztray, Mérouane Debbah

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence.

Norbert Tihanyi, Tamás Bisztray, Richard A. Dubniczky, Rebeka Tóth, Bertalan Borsos, Bilel Cherif, Ridhi Jain, Lajos Muzsai, Mohamed Amine Ferrag, Ryan Marinelli, Lucas C. Cordeiro, Mérouane Debbah, Vasileios Mavroeidis, Audun Jøsang

Proceedings of the IEEE International Conference on Big Data, 2024

2023

FormAI Dataset: A Large Collection of AI-Generated C Programs and Their Vulnerability Classifications.

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

Dataset, September, 2023

Dataset for : 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

Dataset, June, 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