Detecting Malicious Code by Model Checking.

Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith

Browse the full DIMVA paper archive.