![](/img/cover-not-exists.png)
Talos: no more ransomware victims with formal methods
Cimitile, Aniello, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado AaronLanguage:
english
Journal:
International Journal of Information Security
DOI:
10.1007/s10207-017-0398-5
Date:
December, 2017
File:
PDF, 1.73 MB
english, 2017