About Me
I am a PhD student in Computer Science at Louisiana State University, working as a Graduate Research Assistant under Dr. Umar Farooq. My research lies at the intersection of program analysis, formal methods, and mobile security , with a particular focus on developing static analysis techniques for mobile platforms. My current work investigates compliance and security violations in Android Auto applications, where I apply callback-aware static analysis to ensure apps meet safety requirements. I am also exploring software supply chain security, particularly in Android/JVM ecosystems, where malicious package detection remains an underexplored area. Ultimately, I aim to build automated tools that make mobile software ecosystems safer and more reliable, helping detect and prevent security and usability issues before they reach users.
Research Interests
- Static Analysis: Developing techniques for analyzing Android applications
- Android Security: Investigating compliance violations and security vulnerabilities in mobile applications
- Formal Methods: Applying formal verification techniques to software testing
- Software Supply Chain Security: Exploring malicious package detection in Android/JVM ecosystems
Recent News
- 2026: Our paper titled “Detecting Compliance Violations in Android Auto Applications” was accepted at AST 2026! 🎉
Funding & Support
Graduate Research Assistantship
Louisiana State University, Department of Computer Science
Jan 2024 – Present
My research is supported in part by:
- National Science Foundation (NSF) Grant No. 2449694: Toward Personalized and Trustworthy Mobile App Recommendations via Grounding App Behaviors
- Louisiana Board of Regents: A Unified Framework for Static Analysis of Multi-Language Mobile Apps