@inproceedings{beaucamps:hal-00762252, TITLE = {{Abstraction-based Malware Analysis Using Rewriting and Model Checking}}, AUTHOR = {Beaucamps, Philippe and Gnaedig, Isabelle and Marion, Jean-Yves}, URL = {https://inria.hal.science/hal-00762252}, BOOKTITLE = {{ESORICS - 17th European Symposium on Research in Computer Security - 2012}}, ADDRESS = {Pisa, Italy}, EDITOR = {Sara Foresti and MotiYung and Fabio Martinelli}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {7459}, PAGES = {806-823}, YEAR = {2012}, MONTH = Sep, DOI = {10.1007/978-3-642-33167-1}, KEYWORDS = {Malware ; behavioral detection ; behavior abstraction ; trace ; term rewriting ; model checking ; first order temporal logic ; finite state automaton ; formal language}, PDF = {https://inria.hal.science/hal-00762252/file/esorics-definitif.pdf}, HAL_ID = {hal-00762252}, HAL_VERSION = {v1}, }