A semantics-based approach to malware detection

DOI10.1145/1190216.1190270MaRDI QIDQ3189818zbMATH OpenOpenAlexFDO

Authors Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray

Publication date 12 September 2014

Published in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1190216.1190270

zbMATH Keywords

abstract interpretationmalware detectionobfuscationtrace semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Signature Generation and Detection of Malware Families
• Recognizing malicious software behaviors with tree automata inference
• Efficient malware detection using model-checking
• Modelling metamorphism by abstract interpretation
• Pushdown model checking for malware detection

Cited in

(12)

• Analyzing pushdown systems with stack manipulation
• A new malware classification approach based on malware dynamic analysis
• Recognizing malicious software behaviors with tree automata inference
• Partial evaluation for Java malware detection
• On detecting environment sensitivity using slicing
• Signature Generation and Detection of Malware Families
• Efficient malware detection using model-checking
• Modelling metamorphism by abstract interpretation
• Partial evaluation of string obfuscations for Java malware detection
• A categorical treatment of malicious behavioral obfuscation
• Making abstract models complete
• Context-sensitive analysis without calling-context

This page was built for publication: A semantics-based approach to malware detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3189818)