Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques.
Amit Seal AmiKaushal KafleKevin MoranAdwait NadkarniDenys PoshyvanykPublished in: ACM Trans. Priv. Secur. (2021)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- malicious code
- intrusion detection
- genetic algorithm
- malware detection
- evolutionary algorithm
- information security
- regular expressions
- security policies
- api calls
- abstract interpretation
- symbolic execution
- security requirements
- access control
- mobile devices
- key management
- evaluation model
- reverse engineering
- mobile applications
- error rate
- software engineering