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
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 metadatas

Cited literature [12 references]  Display  Hide  Download
Contributor : Matthieu Kaczmarek <>
Submitted on : Wednesday, October 3, 2007 - 9:59:36 AM
Last modification on : Thursday, November 5, 2020 - 2:55:16 PM
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