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.
Type de document :
Communication dans un congrès
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France. 2007
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00176241
Contributeur : Matthieu Kaczmarek <>
Soumis le : mercredi 3 octobre 2007 - 09:59:36
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : lundi 24 septembre 2012 - 13:02:15

Fichier

IRWRSDA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, Oct 2007, Nancy, France. 2007. 〈inria-00176241〉

Partager

Métriques

Consultations de la notice

250

Téléchargements de fichiers

659