StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification.

Mohsin Junaid, Jiang Ming, David Chenho Kung

Browse the full ACSAC paper archive.