Formal Equivalence Checking for Mobile Malware Detection and Family Classification.
Francesco MercaldoAntonella SantonePublished in: IEEE Trans. Software Eng. (2022)
Keyphrases
- malware detection
- decision trees
- classification algorithm
- pattern recognition
- mobile devices
- classification accuracy
- malicious executables
- machine learning
- classification method
- mobile phone
- feature extraction
- data processing
- model selection
- unsupervised learning
- support vector machine svm
- test cases
- feature vectors
- feature space
- object recognition
- application programming interface