Control Flow to Detect Malware

Guillaume Bonfante (1) , Matthieu Kaczmarek (1) , Jean-Yves Marion (1)

1 CARTE - Theoretical adverse computations, and safety

This study proposes a malware detection strategy based on control flow. It consists in searching in the control flow graph of the analysed program for an induced sub-graph which corresponds to the control flow graphs of a malicious program. The resulting detector is build over a strong theoretical framework.Finally, experiments are carried out in order to evaluates the proposed detection strategy.

Domaines: Cryptographie et sécurité [cs.CR]

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. Control Flow to Detect Malware. Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Pascal Fontaine; Stephan Merz, Oct 2007, Nancy, France. ⟨inria-00176241⟩