Bypassing Malware Obfuscation with Dynamic Synthesis

Fabrizio Biondi 1 Sébastien Josse 1 Axel Legay 1
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Black-box synthesis is more efficient than SMT deobfuscation on predicates obfuscated with Mixed-Boolean Arithmetics.
Type de document :
Article dans une revue
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01378662
Contributeur : Fabrizio Biondi <>
Soumis le : lundi 10 octobre 2016 - 15:39:49
Dernière modification le : mardi 16 janvier 2018 - 15:54:26
Document(s) archivé(s) le : samedi 4 février 2017 - 01:33:09

Fichiers

32-biondi-edited (2).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01378662, version 1

Citation

Fabrizio Biondi, Sébastien Josse, Axel Legay. Bypassing Malware Obfuscation with Dynamic Synthesis. ERCIM News, ERCIM, 2016, 〈http://ercim-news.ercim.eu/en106〉. 〈hal-01378662〉

Partager

Métriques

Consultations de la notice

278

Téléchargements de fichiers

120