Sledovať
Ridhi Jain
Názov
Citované v
Citované v
Rok
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
772023
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
572023
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
36*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
282023
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
212024
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
172024
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
92024
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
62022
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
42023
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
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, R Jain, ...
2024 IEEE International Conference on Big Data (BigData), 3313-3321, 2024
22024
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
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
How secure is AI-generated code: a large-scale comparison of large language models
N Tihanyi, T Bisztray, MA Ferrag, R Jain, LC Cordeiro
Empirical Software Engineering 30 (2), 1-42, 2025
12025
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
12024
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
12024
Securing Tomorrow’s Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
R Jain, N Tihanyi, MA Ferrag
Internet of Vehicles and Computer Vision Solutions for Smart City …, 2025
2025
Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
R Jain, R Purandare
arXiv preprint arXiv:2501.14326, 2025
2025
Static analysis for sound interleaving pruning in enumerative model checking
R Jain
US Patent WO2024127328A1, 2024
2024
MISOFUZZ: AMODULAR INFRASTRUCTURE FOR SCALABLE FUZZING ORCHESTRATION
N Gervasoni, MI Lubinets, R Jain, LC Cordeiro
2023
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20