Semantics-aware malware detection
Top Cited Papers
- 1 January 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A malware detector is a system that attempts to determine whether a program has malicious intent. In order to evade detection, malware writers (hackers) frequently use obfuscation to morph malware. Malware detectors that use a pattern-matching approach (such as commercial virus scanners) are susceptible to obfuscations used by hackers. The fundamental deficiency in the pattern-matching approach to malware detection is that it is purely syntactic and ignores the semantics of instructions. In this paper, we present a malware-detection algorithm that addresses this deficiency by incorporating instruction semantics to detect malicious program traits. Experimental evaluation demonstrates that our malware-detection algorithm can detect variants of malware with a relatively low run-time overhead. Moreover, our semantics-aware malware detection algorithm is resilient to common obfuscations used by hackers.Keywords
This publication has 20 references indexed in Scilit:
- Detecting Kernel-Level Rootkits Through Binary AnalysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- The UCLID Decision ProcedurePublished by Springer Nature ,2004
- Verification of control flow based security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Reliable identification of bounded-length viruses is NP-completeIEEE Transactions on Information Theory, 2003
- Obfuscation of executable code to improve resistance to static disassemblyPublished by Association for Computing Machinery (ACM) ,2003
- IRM enforcement of Java stack inspectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic formal verification for scheduled VLIW codePublished by Association for Computing Machinery (ACM) ,2002
- Analysis and detection of computer viruses and wormsACM SIGPLAN Notices, 2002
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Automatic formal verification of DSP softwarePublished by Association for Computing Machinery (ACM) ,2000