Mohsin Junaid, Jiang Ming, David Chenho Kung. StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification. In Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC 2018, San Juan, PR, USA, December 03-07, 2018. pages 198-209, ACM, 2018. [doi]
Abstract is missing.