3 papers
cs.CR2026
A Measurement Study of AI-Environment Realism Gaps in Malware-Analysis Sandboxes
Zhiyong Sui, Lamine Noureddine, Mst Eshita Khatun +4
Sandboxing remains a core technique for observing suspicious program behavior, yet environment-aware malware increasingly suppresses execution when analysis is suspected. Prior gen…
cs.CR2026
RECON: An LLM-Enhanced Backward Constraint Analysis Framework
Babangida Bappah, Lamine Noureddine, Umar Farooq +1
While traditional techniques, such as symbolic execution, provide a principled foundation for precise constraint reasoning in program analysis, they struggle to scale to modern sof…
cs.CR2025
Exploring Runtime Evolution in Android: A Cross-Version Analysis and Its Implications for Memory Forensics
Babangida Bappah, Lauren G Bristol, Lamine Noureddine +3
Userland memory forensics has become a critical component of smartphone investigations and incident response, enabling the recovery of volatile evidence such as deleted messages fr…