Academic Paper Summary
The first page of an article (Cimitle et al., 2017) "Talos: no more ransomware victims with formal methods" written by Cimitile, Mercaldo, Nardone, Santone and Visaggio is discussing different ways to prevent the ransomware attacks on Android devices. Authors provided evidence, which is prooving the high rate of ransomware attacks on mobile devices based on Android. Furthermore, the authors provided the summarize of most popular recently techniques, which are using to denied the ransomware attacks. Moreover, the article contains a few different protection models proposed by cybersecurity specialists such as method based on system call sequences and machine learning or the static detection system based on four scanning layers. Additionally, the authors are showing some formal methods for detecting ransomware attacks such as processes and files monitoring based on the processor usage or by using PushDown System. Moreover, the authors discuss using the algebra system CCS in c...