1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2026
Evolution of Android's Permission-based Security Model and Challenges
Rajendra Kumar Solanki, Vijay Laxmi, Manoj Singh Gaur
Android Permission Model and Application (app) analysis has consistently remained the focus of the investigation of research groups and stakeholders of the Android ecosystem since…
cs.PL2024★ 1 cited
C Analyzer : A Static Program Analysis Tool for C Programs
Rajendra Kumar Solanki
In our times, when the world is increasingly becoming more dependent on software programs, writing bug-free, correct programs is crucial. Program verification based on formal metho…