English
Related papers

Related papers: Formalization of malware through process calculi

200 papers

Driven by the high profit, Portable Executable (PE) malware has been consistently evolving in terms of both volume and sophistication. PE malware family classification has gained great attention and a large number of approaches have been…

Cryptography and Security · Computer Science 2021-11-01 Yixuan Ma , Shuang Liu , Jiajun Jiang , Guanhong Chen , Keqiu Li

Malicious software attacks are having an increasingly significant economic impact. Commercial malware detection software can be costly, and tools that attribute malware to the specific software vulnerabilities it exploits are largely…

Cryptography and Security · Computer Science 2026-02-03 Eduard Andrei Cristea , Petter Molnes , Jingyue Li

Machine learning has become an appealing signature-less approach to detect and classify malware because of its ability to generalize to never-before-seen samples and to handle large volumes of data. While traditional feature-based…

Cryptography and Security · Computer Science 2024-04-30 Daniel Gibert , Carles Mateu , Jordi Planes , Quan Le

Malware is a piece of software that was written with the intent of doing harm to data, devices, or people. Since a number of new malware variants can be generated by reusing codes, malware attacks can be easily launched and thus become…

Cryptography and Security · Computer Science 2022-03-11 Fangtian Zhong , Zekai Chen , Minghui Xu , Guoming Zhang , Dongxiao Yu , Xiuzhen Cheng

Formal method techniques provides a suitable platform for the software development in software systems. Formal methods and formal verification is necessary to prove the correctness and improve performance of software systems in various…

Software Engineering · Computer Science 2014-06-12 Monire Norouzi , Saeed Parsa , Ali Mahjur

As machine-learning (ML) based systems for malware detection become more prevalent, it becomes necessary to quantify the benefits compared to the more traditional anti-virus (AV) systems widely used today. It is not practical to build an…

Cryptography and Security · Computer Science 2018-06-14 William Fleshman , Edward Raff , Richard Zak , Mark McLean , Charles Nicholas

In dynamic malware analysis, programs are classified as malware or benign based on their execution logs. We propose a concept of applying monotonic classification models to the analysis process, to make the trained model's predictions…

Cryptography and Security · Computer Science 2018-04-11 Alexander Chistyakov , Ekaterina Lobacheva , Alexander Shevelev , Alexey Romanenko

One of the pivotal security threats for the embedded computing systems is malicious software a.k.a malware. With efficiency and efficacy, Machine Learning (ML) has been widely adopted for malware detection in recent times. Despite being…

Cryptography and Security · Computer Science 2024-04-16 Sreenitha Kasarapu , Sanket Shukla , Rakibul Hassan , Avesta Sasan , Houman Homayoun , Sai Manoj Pudukotai Dinakarrao

The rapid growth of Cloud Computing and Internet of Things (IoT) has significantly increased the interconnection of computational resources, creating an environment where malicious software (malware) can spread rapidly. To address this…

Software Engineering · Computer Science 2026-01-16 Themistoklis Diamantopoulos , Dimosthenis Natsos , Andreas L. Symeonidis

Machine-learning models have been recently used for detecting malicious Android applications, reporting impressive performances on benchmark datasets, even when trained only on features statically extracted from the application, such as…

Machine Learning · Computer Science 2018-10-30 Marco Melis , Davide Maiorca , Battista Biggio , Giorgio Giacinto , Fabio Roli

The impressive growth of smartphone devices in combination with the rising ubiquity of using mobile platforms for sensitive applications such as Internet banking, have triggered a rapid increase in mobile malware. In recent literature, many…

Cryptography and Security · Computer Science 2023-12-20 Harris Papadopoulos , Nestoras Georgiou , Charalambos Eliades , Andreas Konstantinidis

Mobile malware has continued to grow at an alarming rate despite on-going efforts towards mitigating the problem. This has been particularly noticeable on Android due to its being an open platform that has subsequently overtaken other…

Cryptography and Security · Computer Science 2016-07-28 Suleiman Y. Yerima , Sakir Sezer , Igor Muttik

Recent work has shown that deep-learning algorithms for malware detection are also susceptible to adversarial examples, i.e., carefully-crafted perturbations to input malware that enable misleading classification. Although this has…

Cryptography and Security · Computer Science 2019-01-25 Luca Demetrio , Battista Biggio , Giovanni Lagorio , Fabio Roli , Alessandro Armando

It is needed to ensure the integrity of systems that process sensitive information and control many aspects of everyday life. We examine the use of machine learning algorithms to detect malware using the system calls generated by…

Cryptography and Security · Computer Science 2018-10-01 Michael R. Smith , Joe B. Ingram , Christopher C. Lamb , Timothy J. Draelos , Justin E. Doak , James B. Aimone , Conrad D. James

Feature engineering is one of the most costly aspects of developing effective machine learning models, and that cost is even greater in specialized problem domains, like malware classification, where expert skills are necessary to identify…

Machine Learning · Computer Science 2019-08-02 Scott E. Coull , Christopher Gardner

Malware detection is an important topic of current cybersecurity, and Machine Learning appears to be one of the main considered solutions even if certain problems to generalize to new malware remain. In the aim of exploring the potential of…

Cryptography and Security · Computer Science 2023-12-20 Tony Quertier , Grégoire Barrué

As the popularity of Android smart phones has increased in recent years, so too has the number of malicious applications. Due to the potential for data theft mobile phone users face, the detection of malware on Android devices has become an…

Cryptography and Security · Computer Science 2019-08-14 Chenglin Li , Keith Mills , Rui Zhu , Di Niu , Hongwen Zhang , Husam Kinawi

Malware represents a significant security concern in today's digital landscape, as it can destroy or disable operating systems, steal sensitive user information, and occupy valuable disk space. However, current malware detection methods,…

Cryptography and Security · Computer Science 2023-12-21 Chenzhong Yin , Hantang Zhang , Mingxi Cheng , Xiongye Xiao , Xinghe Chen , Xin Ren , Paul Bogdan

The continuous increase in malware samples, both in sophistication and number, presents many challenges for organizations and analysts, who must cope with thousands of new heterogeneous samples daily. This requires robust methods to quickly…

Cryptography and Security · Computer Science 2025-03-26 Theodoros Apostolopoulos , Vasilios Koutsokostas , Nikolaos Totosis , Constantinos Patsakis , Georgios Smaragdakis

In this research paper, our intent is to outline different types of malware, their means of operation, and how they are detected in order to protect yourself against such attacks. Varied permission, and limited technical resources mean that…

Cryptography and Security · Computer Science 2022-12-26 Sebastian Grochola , Andrew Milliner