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, Heraklion, Crete, June 6-9, 2016, Proceedings: Springer, 2016.