Ridhi Jain
Scholar

Ridhi Jain

Google Scholar ID: yR7s53UAAAAJ
IIITD
Program AnalysisProgram VerificationSoftware Binary AnalysisSoftware Security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
486
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
31
list available
Contact
No contact links provided.
Publications
3 items
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
2025
Cited
0
Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
2025
Cited
0
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?
2023
Cited
4
Resume (English only)
Co-authors
31 total
Tihanyi Norbert
Tihanyi Norbert
Eötvös Loránd University, Technology Innovation Institute
Mohamed Amine Ferrag
Mohamed Amine Ferrag
Associate Professor of AI & LLM & Networking & Cybersecurity
Lucas C. Cordeiro
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Tamas Bisztray
Tamas Bisztray
Postdoctoral Researcher at University of Oslo
Merouane Debbah
Merouane Debbah
KU 6G Center, Khalifa University, Centralesupelec
Vasileios Mavroeidis
Vasileios Mavroeidis
Associate Professor of Cybersecurity, University of Oslo
Co-author 7
Co-author 7
Yiannis Charalambous
Yiannis Charalambous
Casual Research Assistant, University of Manchester