Ransomware Steals your Phone. Formal Methods Rescue it