Ransomware Inside Out
作者： Francesco Mercaldo , Vittoria Nardone , Antonella Santone
DOI: 10.1109/ARES.2016.35
关键词:
摘要: Android is currently the most widely used mobile environment. This trend encourages malware writers to develop specific attacks targeting this platform with threats designed covertly collect data or financially extort victims, so-called ransomware. In paper we use formal methods, in particular model checking, automatically dissect ransomware samples. Starting from manual inspection of few samples, define a set rule order check whether behaviours find are representative functionalities.
computer.org
sci-hub.se 参考文章(23)
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio, Download malware? no, thanks: how formal methods can block update attacks formal methods. pp. 22- 28 ,(2016) , 10.1145/2897667.2897673
Gerardo Canfora, Francesco Mercaldo, Corrado Aaron Visaggio, Evaluating Op-Code Frequency Histograms in Malware and Third-Party Mobile Applications international conference on e business. pp. 201- 222 ,(2015) , 10.1007/978-3-319-30222-5_10
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio, Ransomware Steals Your Phone. Formal Methods Rescue It formal techniques for (networked and) distributed systems. pp. 212- 221 ,(2016) , 10.1007/978-3-319-39570-8_14
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio, Hey Malware, I Can Find You! workshops on enabling technologies: infrastracture for collaborative enterprises. ,vol. 2016, pp. 261- 262 ,(2016) , 10.1109/WETICE.2016.67
Fu Song, Tayssir Touili, Model-Checking for Android Malware Detection asian symposium on programming languages and systems. pp. 216- 235 ,(2014) , 10.1007/978-3-319-12736-1_12
Fu Song, Tayssir Touili, Efficient Malware Detection Using Model-Checking formal methods. pp. 418- 433 ,(2012) , 10.1007/978-3-642-32759-9_34
Robin Milner, Communication and Concurrency ,(1989)
Rance Cleaveland, Steve Sims, The NCSU Concurrency Workbench computer aided verification. pp. 394- 397 ,(1996) , 10.1007/3-540-61474-5_87
Gerardo Canfora, Andrea De Lorenzo, Eric Medvet, Francesco Mercaldo, Corrado Aaron Visaggio, Effectiveness of Opcode ngrams for Detection of Multi Family Android Malware availability, reliability and security. pp. 333- 340 ,(2015) , 10.1109/ARES.2015.57
Fu Song, Tayssir Touili, PoMMaDe: pushdown model-checking for malware detection foundations of software engineering. pp. 607- 610 ,(2013) , 10.1145/2491411.2494599