Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation