Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio. Ransomware Steals Your Phone. Formal Methods Rescue It. In Elvira Albert, Ivan Lanese, editors, 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, Crete, Greece, June 6-9, 2016, Proceedings. Volume 9688 of Lecture Notes in Computer Science, pages 212-221, Springer, 2016. [doi]
Abstract is missing.