Ridhi Jain

22 papers A 1B 1C 1Misc 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 C conf
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
AST
Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro
2025 J jnl
Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models.
CoRR
Ridhi Jain, Rahul Purandare
2025 J jnl
How secure is AI-generated code: a large-scale comparison of large language models.
Empir. Softw. Eng.
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
2025 J jnl
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection With LLMs?
IEEE Trans. Software Eng.
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
2025 — conf
VO-GCSE: Verification Optimization through Global Common Subexpression Elimination.
SIGSOFT FSE Companion
Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro
2025 J jnl
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview.
CoRR
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Bilel Cherif, Richard A. Dubniczky, Ridhi Jain, Lucas C. Cordeiro
2024 Misc conf
CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge.
CSR
Norbert Tihanyi, Mohamed Amine Ferrag, Ridhi Jain, Tamás Bisztray, Mérouane Debbah
2024 J jnl
CyberMetric: A Benchmark Dataset for Evaluating Large Language Models Knowledge in Cybersecurity.
CoRR
Norbert Tihanyi, Mohamed Amine Ferrag, Ridhi Jain, Mérouane Debbah
2024 J jnl
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models.
CoRR
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
2024 B conf
Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence.
IEEE Big Data
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
2024 J jnl
Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence.
CoRR
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
2024 — conf
Rapid Taint Assisted Concolic Execution (TACE).
SIGSOFT FSE Companion
Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro
2024 J jnl
Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies.
CoRR
Ridhi Jain, Norbert Tihanyi, Mohamed Amine Ferrag
2024 J jnl
Why Doesn't Microsoft Let Me Sleep? How Automaticity of Windows Updates Impacts User Autonomy.
CoRR
Sanju Ahuja, Ridhi Jain, Jyoti Kumar
2023 — conf
A Code Centric Evaluation of C/C++ Vulnerability Datasets for Deep Learning Based Vulnerability Detection Techniques.
ISEC
Ridhi Jain, Nicole Gervasoni, Mthandazo Ndhlovu, Sanjay Rawat
2023 J jnl
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
CoRR
Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
2023 — conf
Handling Communication via APIs for Microservices.
ICSE (NIER)
Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam
2023 J jnl
Handling Communication via APIs for Microservices.
CoRR
Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam
2023 J jnl
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification.
CoRR
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
2023 — conf
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification.
PROMISE
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
2022 J jnl
BiRD: Race Detection in Software Binaries under Relaxed Memory Models.
ACM Trans. Softw. Eng. Methodol.
Ridhi Jain, Rahul Purandare, Subodh Sharma
2018 A conf
A search system for mathematical expressions on software binaries.
MSR
Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare