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