skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Download Malware? No, thanks. How Formal Methods can Block Update Attacks

Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Download Malware? No, thanks. How Formal Methods can Block Update Attacks", 4th {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering, FormaliSE 2016, Austin Texas, USA, May 15, 2016.