[ACSAC '18] StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification

Mohsin Junaid, Jiang Ming, David C Kung
December 2018
Type
Conference paper
Publication
In Proceedings of the 34th Annual Computer Security Applications Conference, San Juan, Puerto Rico, December 3–7, 2018. (Acceptance rate 20.1%=60/299)

⭐Artifacts Evaluated Functional