Efficient Malware Detection Using Model-Checking.

Fu Song, Tayssir Touili

Browse the full FM paper archive.