Sciweavers

TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
12 years 8 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili