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", Proceedings of the 4th {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 22–28, 2016.