StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification.
Mohsin JunaidJiang MingDavid Chenho KungPublished in: ACSAC (2018)
Keyphrases
- horn clauses
- mobile applications
- attack detection
- malware detection
- java card
- detect malicious
- android application
- mobile platforms
- model checking
- mobile apps
- detection algorithm
- countermeasures
- database queries
- android platform
- databases
- logic programs
- general purpose
- natural language processing
- domain knowledge
- mobile devices
- high level
- data mining