@inproceedings{bonfante:inria-00176241, TITLE = {{Control Flow to Detect Malware}}, AUTHOR = {Bonfante, Guillaume and Kaczmarek, Matthieu and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00176241}, BOOKTITLE = {{Inter-Regional Workshop on Rigorous System Development and Analysis 2007}}, ADDRESS = {Nancy, France}, ORGANIZATION = {{Pascal Fontaine; Stephan Merz}}, YEAR = {2007}, MONTH = Oct, PDF = {https://inria.hal.science/inria-00176241/file/IRWRSDA.pdf}, HAL_ID = {inria-00176241}, HAL_VERSION = {v1}, }