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.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00176241
Contributor : Matthieu Kaczmarek <>
Submitted on : Wednesday, October 3, 2007 - 9:59:36 AM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
Document(s) archivé(s) le : Monday, September 24, 2012 - 1:02:15 PM

File

IRWRSDA.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00176241, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

302

Files downloads

950