Ridhi Jain

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (10)

• Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
  2026 DOI: 10.1007/978-3-031-99447-0_3
  +Save
• VO-GCSE: Verification Optimization through Global Common Subexpression Elimination
  2025 DOI: 10.1145/3696630.3728581
  +Save
• Securing Tomorrow’s Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
  2025 DOI: 10.1007/978-3-031-72959-1_16
  +Save
• Rapid Taint Assisted Concolic Execution (TACE)
  2024 DOI: 10.1145/3663529.3663812
  +Save
• Handling Communication via APIs for Microservices
  2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) 2023 DOI: 10.1109/icse-nier58687.2023.00013
  +Save
• A Code Centric Evaluation of C/C++ Vulnerability Datasets for Deep Learning Based Vulnerability Detection Techniques
  2023 DOI: 10.1145/3578527.3578530
  +Save
• A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
  2023 DOI: 10.48550/ARXIV.2305.14752
  +Save
• The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
  2023 DOI: 10.48550/ARXIV.2307.02192
  +Save
• BiRD: Race Detection in Software Binaries under Relaxed Memory Models
  ACM Transactions on Software Engineering and Methodology 2022 DOI: 10.1145/3498538
  +Save
• A search system for mathematical expressions on software binaries
  2018 IEEE/ACM 15th International Conference on Mining Software Repositories (MSR) 2018
  +Save