Skip to Main content Skip to Navigation
Journal articles

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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : Black-box synthesis is more efficient than SMT deobfuscation on predicates obfuscated with Mixed-Boolean Arithmetics.
Document type :
Journal articles
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-01378662
Contributor : Fabrizio Biondi <>
Submitted on : Monday, October 10, 2016 - 3:39:49 PM
Last modification on : Thursday, January 7, 2021 - 4:13:21 PM
Long-term archiving on: : Saturday, February 4, 2017 - 1:33:09 AM

Files

32-biondi-edited (2).pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01378662, version 1

Citation

Fabrizio Biondi, Sébastien Josse, Axel Legay. Bypassing Malware Obfuscation with Dynamic Synthesis. ERCIM News, ERCIM, 2016. ⟨hal-01378662⟩

Share

Metrics

Record views

455

Files downloads

362