%0 Conference Proceedings %T The Grand Challenge in Metamorphic Analysis %+ Foundations of Component-based Ubiquitous Systems (FOCUS) %+ Department of Computer Science and Engineering [Bologna] (DISI) %A Dalla Preda, Mila %< avec comité de lecture %B ICISTM - Information Systems, Technology and Management - 2012 %C Grenoble, France %Y Sumeet Dua and Aryya Gangopadhyay and Parimala Thulasiraman and Umberto Straccia and Michael Shepherd and Benno Stein %I Springer %3 Communications in Computer and Information Science %V 285 %P 439-444 %8 2012 %D 2012 %R 10.1007/978-3-642-29166-1_42 %Z Cognitive science/Computer scienceConference papers %X 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. %G English %L hal-00909386 %U https://inria.hal.science/hal-00909386 %~ INRIA %~ INRIA-SOPHIA %~ INRIASO %~ INRIA_TEST %~ TESTALAIN1 %~ INRIA2