@techreport{beaucamps:inria-00547884, TITLE = {{Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version}}, AUTHOR = {Beaucamps, Philippe and Gnaedig, Isabelle and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00547884}, TYPE = {Research Report}, YEAR = {2010}, MONTH = Dec, KEYWORDS = {malware ; behavioral detection ; abstraction ; trace ; term rewriting ; finite state automaton ; formal language ; dynamic binary instrumentation ; temporal logic ; information leak}, PDF = {https://inria.hal.science/inria-00547884v3/file/article-extended.pdf}, HAL_ID = {inria-00547884}, HAL_VERSION = {v3}, }