Ridhi Jain

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Formal Verification

Symbolic Model Checking

Synthetic Datasets

Top Venues

Publications

Sanju Ahuja, Ridhi Jain, Jyoti Kumar
Why Doesn't Microsoft Let Me Sleep? How Automaticity of Windows Updates Impacts User Autonomy. CoRR (2024)
Ridhi Jain, Norbert Tihanyi, Mohamed Amine Ferrag
Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies. CoRR (2024)
Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro
Rapid Taint Assisted Concolic Execution (TACE). SIGSOFT FSE Companion (2024)
Norbert Tihanyi, Mohamed Amine Ferrag, Ridhi Jain, Mérouane Debbah
CyberMetric: A Benchmark Dataset for Evaluating Large Language Models Knowledge in Cybersecurity. CoRR (2024)
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models. CoRR (2024)
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification. PROMISE (2023)
Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam
Handling Communication via APIs for Microservices. ICSE (NIER) (2023)
Ridhi Jain, Nicole Gervasoni, Mthandazo Ndhlovu, Sanjay Rawat
A Code Centric Evaluation of C/C++ Vulnerability Datasets for Deep Learning Based Vulnerability Detection Techniques. ISEC (2023)
Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam
Handling Communication via APIs for Microservices. CoRR (2023)
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification. CoRR (2023)
Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. CoRR (2023)
Ridhi Jain, Rahul Purandare, Subodh Sharma
BiRD: Race Detection in Software Binaries under Relaxed Memory Models. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare
A search system for mathematical expressions on software binaries. MSR (2018)