Syntia: Synthesizing the Semantics of Obfuscated Code.

Tim Blazytko Moritz Contag Cornelius Aschermann Thorsten Holz

Published in: USENIX Security Symposium (2017)

Keyphrases

reverse engineering
malicious code
formal semantics
source code
logic programming
specification language
operational semantics
business processes
conceptual graphs
default reasoning
owl ontologies
control flow
binary codes
proof theory