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

Ransomware Steals Your Phone. Formal Methods Rescue It

Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Ransomware Steals Your Phone. Formal Methods Rescue It", Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Cr, pp. 212–221, 2016.