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

Abstract

Publication
In Proceedings of the 34th Annual Computer Security Applications Conference, San Juan, Puerto Rico, December 3–7, 2018. (Acceptance ratio 20.1%=60299)
Date
Links