Ransomware Steals Your Phone. Formal Methods Rescue It.

Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Browse the full FORTE paper archive.