Ransomware Inside Out
| Title | Ransomware Inside Out |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Mercaldo, F., Nardone, V., Santone, A. |
| Conference Name | 2016 11th International Conference on Availability, Reliability and Security (ARES) |
| ISBN Number | 978-1-5090-0990-9 |
| Keywords | android, Androids, composability, formal method, formal methods, formal verification, Human Behavior, Humanoid robots, invasive software, Java, Malware, Metrics, Mobile communication, mobile computing, mobile environment, model checking, pubcrawl, ransomware, ransomware functionality, Resiliency, security, smart phones |
| Abstract | Android is currently the most widely used mobile environment. This trend encourages malware writers to develop specific attacks targeting this platform with threats designed to covertly collect data or financially extort victims, the so-called ransomware. In this paper we use formal methods, in particular model checking, to automatically dissect ransomware samples. Starting from manual inspection of few samples, we define a set of rule in order to check whether the behaviours we find are representative of ransomware functionalities. |
| URL | http://ieeexplore.ieee.org/document/7784627/ |
| DOI | 10.1109/ARES.2016.35 |
| Citation Key | mercaldo_ransomware_2016 |