Modelling metamorphism by abstract interpretation

DOI10.1007/978-3-642-15769-1_14MaRDI QIDQ4930730zbMATH OpenOpenAlexFDO

Authors Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, G. Townsend

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15769-1_14

zbMATH Keywords

abstract interpretationmalware detectionmetamorphic codeprogram transformationsecuritysemanticsstatic analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Unveiling metamorphism by abstract interpretation of code properties
• Using algebraic models of programs for detecting metamorphic malwares
• A semantics-based approach to malware detection
• Signature Generation and Detection of Malware Families
• Automata, Languages and Programming

Cited in

(10)

• On the infeasibility of modeling polymorphic shellcode. Re-thinking the role of learning in intrusion detection systems
• Unveiling metamorphism by abstract interpretation of code properties
• Detection of polymorphic viruses in windows executables
• A semantics-based approach to malware detection
• Research of normalization towards instruction substitution metamorphism
• Using algebraic models of programs for detecting metamorphic malwares
• LTL model checking of self modifying code
• Adversarial reachability for program-level security analysis
• Abstract interpretation of indexed grammars
• Context-sensitive analysis without calling-context

This page was built for publication: Modelling metamorphism by abstract interpretation

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