Follow
Ridhi Jain
Title
Cited by
Cited by
Year
A new era in software security: Towards self-healing software via large language models and formal verification
N Tihanyi, R Jain, Y Charalambous, MA Ferrag, Y Sun, LC Cordeiro
arXiv preprint arXiv:2305.14752, 2023
542023
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
N Tihanyi, T Bisztray, R Jain, MA Ferrag, LC Cordeiro, V Mavroeidis
PROMISE' 23 : arXiv preprint arXiv:2307.02192, 2023
462023
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?
M Amine Ferrag, A Battah, N Tihanyi, R Jain, D Maimut, F Alwahedi, ...
arXiv e-prints, arXiv: 2307.06616, 2023
32*2023
A code centric evaluation of c/c++ vulnerability datasets for deep learning based vulnerability detection techniques
R Jain, N Gervasoni, M Ndhlovu, S Rawat
Proceedings of the 16th Innovations in Software Engineering Conference, 1-10, 2023
182023
CyberMetric: A Benchmark Dataset for Evaluating Large Language Models Knowledge in Cybersecurity
N Tihanyi, MA Ferrag, R Jain, M Debbah
IEEE international conference on cyber security and resilience (CSR), 2024
152024
CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge
N Tihanyi, MA Ferrag, R Jain, T Bisztray, M Debbah
2024 IEEE International Conference on Cyber Security and Resilience (CSR …, 2024
52024
BiRD: Race detection in software binaries under relaxed memory models
R Jain, R Purandare, S Sharma
ACM Transactions on Software Engineering and Methodology (TOSEM) [ESEC/FSE …, 2022
52022
Do neutral prompts produce insecure code? formai-v2 dataset: Labelling vulnerabilities in code generated by large language models
N Tihanyi, T Bisztray, MA Ferrag, R Jain, LC Cordeiro
arXiv preprint arXiv:2404.18353, 2024
42024
A search system for mathematical expressions on software binaries
R Jain, S Prathik, V Vinayakarao, R Purandare
Proceedings of the 15th International Conference on Mining Software …, 2018
42018
FORMAI DATASET: A LARGE COLLECTION OF AI-GENERATED C PROGRAMS AND THEIR VULNERABILITY CLASSIFICATIONS
N Tihanyi, T Bisztray, R Jain, MA Ferrag, LC Cordeiro, V Mavroeidis
https://ieee-dataport.org/documents/formai-dataset-large-collection-ai …, 2023
22023
Handling Communication via APIs for Microservices
V Kanvar, R Jain, S Tamilselvam
2023 IEEE/ACM 45th International Conference on Software Engineering: New …, 2023
22023
Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence
N Tihanyi, T Bisztray, RA Dubniczky, R Toth, B Borsos, B Cherif, ...
arXiv preprint arXiv:2410.15490, 2024
2024
Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
R Jain, N Tihanyi, MA Ferrag
arXiv preprint arXiv:2407.16410, 2024
2024
Rapid Taint Assisted Concolic Execution (TACE)
R Jain, N Tihanyi, M Ndhlovu, MA Ferrag, LC Cordeiro
Companion Proceedings of the 32nd ACM International Conference on the …, 2024
2024
Static analysis for sound interleaving pruning in enumerative model checking
R Jain
US Patent WO2024127328A1, 2024
2024
Automated generation of application programming interfaces for microservices
V Kanvar, R Jain, SG Tamilselvam, A Singhee, S Agarwal
US Patent App. 17/806,812, 2023
2023
MISOFUZZ: AMODULAR INFRASTRUCTURE FOR SCALABLE FUZZING ORCHESTRATION
N Gervasoni, MI Lubinets, R Jain, LC Cordeiro
2023
An extensive study on state-of-the-art c decompilers
S Singh, R Purandare, R Jain
IIIT-Delhi, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–18