Normalizing Metamorphic Malware Using Term Rewriting.
Andrew WalensteinRachit MathurMohamed R. ChouchaneArun LakhotiaPublished in: SCAM (2006)
Keyphrases
- term rewriting
- theorem proving
- theorem prover
- rewrite systems
- operational semantics
- malware detection
- knuth bendix
- standard deviation
- reverse engineering
- detect malicious
- malicious code
- static analysis
- control flow
- dynamic analysis
- databases
- first order logic
- collaborative learning
- detecting malicious
- bayesian networks