Constructing malware normalizers using term rewriting.

Andrew Walenstein Rachit Mathur Mohamed R. Chouchane Arun Lakhotia

Published in: J. Comput. Virol. (2008)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
reverse engineering
natural language
multi agent systems
knowledge representation
object oriented
malware detection