Identifying vulnerabilities of SSL/TLS certificate verification in Android apps with static and dynamic analysis.
Yingjie WangGuangquan XuXing LiuWeixuan MaoChengxiang SiWitold PedryczWei WangPublished in: J. Syst. Softw. (2020)
Keyphrases
- dynamic analysis
- model checking
- static analysis
- reverse engineering
- mobile applications
- android platform
- mobile platforms
- mobile apps
- semi supervised learning
- android application
- mobile devices
- source code
- malicious behavior
- information security
- smart phones
- abstract interpretation
- mobile platform
- development tools
- decision trees
- artificial intelligence
- database
- intrusion detection
- byte code