Talos: no more ransomware victims with formal methods
MADAM: Effective and Efficient Behavior-based Android Malware Detection and Prevention