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
Y Charalambous, N Tihanyi, R Jain, Y Sun, MA Ferrag, LC Cordeiro
arXiv preprint arXiv:2305.14752, 2023
222023
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
102023
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
72023
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
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
32022
CyberMetric: A Benchmark Dataset for Evaluating Large Language Models Knowledge in Cybersecurity
N Tihanyi, MA Ferrag, R Jain, M Debbah
arXiv preprint arXiv:2402.07688, 2024
12024
Handling Communication via APIs for Microservices
V Kanvar, R Jain, S Tamilselvam
2023 IEEE/ACM 45th International Conference on Software Engineering: New …, 2023
12023
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
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
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–11