Effectiveness of synthesis in concolic deobfuscation

Control flow obfuscation techniques can be used to hinder software reverse-engineering. Symbolic analysis can counteract these techniques, but only if they can analyze obfuscated conditional statements. We evaluate the use of dynamic synthesis to complement symbolic analysis in the analysis of obfus...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computers & security 2017-09, Vol.70, p.500-515
Hauptverfasser:	Biondi, Fabrizio, Josse, Sébastien, Legay, Axel, Sirvent, Thomas
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Attacker model Boolean algebra Computer Science Concolic execution Cryptography and Security Deobfuscation Dynamic synthesis Feasibility studies Network security Reverse engineering SMT solver Software Software engineering Solvers Studies Synthesis
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!