Fu Song, Tayssir Touili
Pushdown Model Checking for Malware Detection
TACAS, 2012.
@inproceedings{TACAS-2012-SongT,
author = "Fu Song and Tayssir Touili",
booktitle = "{Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-28756-5_9",
isbn = "978-3-642-28755-8",
pages = "110--125",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Pushdown Model Checking for Malware Detection}",
volume = 7214,
year = 2012,
}