paper-with-me

Papers

Mining Malware Specifications through Static Reachability Analysis

2013-12-17 · Hugo Daniel Macedo, Tayssir Touili

The number of malicious software (malware) is growing out of control. Syntactic signature based detection cannot cope with such growth and manual construction of malware signature databases needs to be replaced by computer learning based approaches. Currently, a single modern signature capturing the semantics of a malicious behavior can be used to replace an arbitrarily large number of old-fashioned syntactical signatures. However teaching computers to learn such behaviors is a challenge. Existing work relies on dynamic analysis to extract malicious behaviors, but such technique does not guarantee the coverage of all behaviors. To sidestep this limitation we show how to learn malware signatures using static reachability analysis. The idea is to model binary programs using pushdown systems (that can be used to model the stack operations occurring during the binary code execution), use reachability analysis to extract behaviors in the form of trees, and use subtrees that are common among the trees extracted from a training set of malware files as signatures. To detect malware we propose to use a tree automaton to compactly store malicious behavior trees and check if any of the subtrees extracted from the file under analysis is malicious. Experimental data shows that our approach can be used to learn signatures from a training set of malware files and use them to detect a test set of malware that is 5 times the size of the training set.

📄 PDF Abstract BibTeX arXiv:1312.4814

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Binary Black-box Evasion Attacks Against Deep Learning-based Static Malware Detectors with Adversarial Byte-Level Language Model

2020-12-14 · MohammadReza Ebrahimi, Ning Zhang, James Hu, Muhammad Taqi Raza 외

Anti-malware engines are the first line of defense against malicious software. While widely used, feature engineering-based anti-malware engines are vulnerable to unseen (zero-day) attacks. Recently, deep learning-based …

Deep LearningFeature EngineeringLanguage ModelingLanguage Modelling+1

Beyond Classification: Evaluating LLMs for Fine-Grained Automatic Malware Behavior Auditing

2025-09-17 · Xinran Zheng, Xingzhi Qian, Yiling He, Shuo Yang 외 arxiv

Automated malware classification has achieved strong detection performance. Yet, malware behavior auditing seeks causal and verifiable explanations of malicious activities -- essential not only to reveal what malware doe…

Malware Classification

Agent-based Vs Agent-less Sandbox for Dynamic Behavioral Analysis

2019-03-12 · Muhammad Ali, Stavros Shiaeles, Maria Papadaki, Bogdan Ghita

Malicious software is detected and classified by either static analysis or dynamic analysis. In static analysis, malware samples are reverse engineered and analyzed so that signatures of malware can be constructed. These…

Malware Detection

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

2023-08-29 · Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon 외

In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks and environment specifications, providin…

Hamm-Grams: An Algorithm for Mining Regular Expressions of Bytes

2026-07-01 · Derek Everett, Edward Raff, James Holt arxiv

Malware poses a critical and ever-evolving threat, and robust and effective systems for detecting and classifying malware are of essential importance. $n$-grams features are among the common static features used in effec…

Malware Classification