The Grand Challenge in Metamorphic Analysis

Mila Dalla Preda 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Malware detection is a crucial aspect of software security. Malware typically recur to a variety of disguise and concealing techniques in order to avoid detection. Metamorphism is the ability of a program to mutate its form yet keeping unchanged its functionality and therefore its danger in case of malware. A major challenge in this field is the development of general automatic/systematic detection techniques that are able to catch the possible variants of a metamorphic malware. We take the position that the key for handling metamorphism relies in a deeper understanding of the semantics of the metamorphic malware. By applying standard formal methods we aim at proving that metamorphic analysis is a special case of program analysis, where the object of computation is code interpreted as a mutational data structure.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00909386
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 11:08:32 AM
Last modification on : Saturday, January 27, 2018 - 1:31:24 AM

Identifiers

Collections

Citation

Mila Dalla Preda. The Grand Challenge in Metamorphic Analysis. ICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. pp.439-444, ⟨10.1007/978-3-642-29166-1_42⟩. ⟨hal-00909386⟩

Share

Metrics

Record views

143