Using Verification Technology to Specify and Detect Malware.

Andreas Holzer Johannes Kinder Helmut Veith

Published in: EUROCAST (2007)

Keyphrases

malware detection
detection method
cost effective
automatic detection
case study
rapid development
technological advances
detect malicious
database
open source
key technologies
social networks
database systems
model checking