Towards a Principled Approach for Dynamic Analysis of Android's Middleware.
Oliver SchranzSebastian WeisgerberErik DerrMichael BackesSven BugielPublished in: CoRR (2021)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- mobile devices
- model checking
- malicious behavior
- distributed systems
- source code
- mobile platforms
- malware detection
- context awareness
- multi party
- application layer
- smart phones
- data sets
- mobile applications
- mobile phone
- object oriented
- abstract interpretation
- android application