@techreport{beaucamps:inria-00594396, TITLE = {{Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version}}, AUTHOR = {Beaucamps, Philippe and Gnaedig, Isabelle and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00594396}, TYPE = {Research Report}, YEAR = {2011}, MONTH = May, KEYWORDS = {behavioral analysis ; malware detection ; behavior abstraction ; model checking ; temporal logic ; term rewriting ; static analysis ; information leak}, PDF = {https://inria.hal.science/inria-00594396/file/fmcad-extended.pdf}, HAL_ID = {inria-00594396}, HAL_VERSION = {v1}, }