Using Verification Technology to Specify and Detect Malware.

Andreas Holzer Johannes Kinder Helmut Veith Using Verification Technology to Specify and Detect Malware. 497-504 2007 conf/eurocast/2007 EUROCAST http://dx.doi.org/10.1007/978-3-540-75867-9_63 db/conf/eurocast/eurocast2007.html#HolzerKV07