A search system for mathematical expressions on software binaries. - Ridhi Jain; Sai Prathik; Venkatesh Vinayakarao; Rahul Purandare (MSR, 2018)

BiRD: Race Detection in Software Binaries under Relaxed Memory Models. - Ridhi Jain; Rahul Purandare; Subodh Sharma 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Handling Communication via APIs for Microservices. - Vini Kanvar; Ridhi Jain; Srikanth Tamilselvam (ICSE (NIER), 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 001 (ISEC, 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 (PROMISE, 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)

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 (Zenodo, 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 (IEEE DataPort, 2023)

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; et al. (IEEE Big Data, 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 (CSR, 2024)

Rapid Taint Assisted Concolic Execution (TACE). - Ridhi Jain; Norbert Tihanyi; Mthandazo Ndhlovu; Mohamed Amine Ferrag; Lucas C. Cordeiro (SIGSOFT FSE Companion, 2024)

Why Doesn't Microsoft Let Me Sleep? How Automaticity of Windows Updates Impacts User Autonomy. - Sanju Ahuja; Ridhi Jain; Jyoti Kumar (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)

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)

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)

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)

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 (AST@ICSE, 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 (SIGSOFT FSE Companion, 2025)

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models. - Ridhi Jain; Rahul Purandare (CoRR, 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, 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., 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., 2025)