![Ridhi Jain](https://conf.researchr.org/getProfileImage/ridhijain/099fe6f1-7d12-4e30-b230-28aac8ba9a26/small.jpg?1711591011000)
Registered user since Thu 5 Apr 2018
Name:Ridhi Jain
Affiliation:IIIT-Delhi
GitHub: https://github.com/ridhij93
Research interests:Program Analysis, Formal Verification, Software Security
Contributions
ICSE 2023-profile
View general profile
View general profile