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

Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Browse the full ICSE paper archive.