Dexteroid: Detecting malicious behaviors in Android apps using reverse-engineered life cycle models. - Mohsin Junaid; Donggang Liu; David Chenho Kung (Comput. Secur., 2016)

StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification. - Mohsin Junaid; Jiang Ming 002; David Chenho Kung (ACSAC, 2018)