@inproceedings{beaucamps:inria-00536500, TITLE = {{Behavior Abstraction in Malware Analysis}}, AUTHOR = {Beaucamps, Philippe and Gnaedig, Isabelle and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00536500}, BOOKTITLE = {{1st International Conference on Runtime Verification}}, ADDRESS = {St. Julians, Malta}, ORGANIZATION = {{Howard Barringer, Klaus Havelund, Insup Lee}}, EDITOR = {Grigore Rosu and Oleg Sokolsky}, PUBLISHER = {{Springer-Verlag}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {6418}, PAGES = {168-182}, YEAR = {2010}, MONTH = Nov, DOI = {10.1007/978-3-642-16612-9\_14}, KEYWORDS = {behavioral detection ; abstraction ; trace ; rewriting ; finite state automaton ; formal language ; dynamic binary instrumentation ; Malware ; behavior abstraction ; string rewriting}, PDF = {https://inria.hal.science/inria-00536500/file/RV-preprint.pdf}, HAL_ID = {inria-00536500}, HAL_VERSION = {v1}, }