Term-Rewriting Deobfuscation for Static Client-Side Scripting Malware Detection.

Gregory Blanc Ruo Ando Youki Kadobayashi

Published in: NTMS (2011)

Keyphrases

malware detection
term rewriting
theorem proving
theorem prover
malicious executables
operational semantics
anomaly detection
rewrite systems
knuth bendix
web applications
application programming interface
web browser
expert systems
relational databases
probabilistic model
software engineering