Download malware? no, thanks: how formal methods can block update attacks