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! 🎉