Talos: no more ransomware victims with formal methods
HelDroid: Dissecting and Detecting Mobile Ransomware