Skip to Main content Skip to Navigation
Conference papers

Control Flow to Detect Malware

Guillaume Bonfante 1 Matthieu Kaczmarek 1 Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Matthieu Kaczmarek Connect in order to contact the contributor
Submitted on : Wednesday, October 3, 2007 - 9:59:36 AM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Long-term archiving on: : Monday, September 24, 2012 - 1:02:15 PM


Files produced by the author(s)


  • HAL Id : inria-00176241, version 1



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⟩



Record views


Files downloads