Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith. Detecting Malicious Code by Model Checking. In Klaus Julisch, Christopher Krügel, editors, Detection of Intrusions and Malware, and Vulnerability Assessment, Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings. Volume 3548 of Lecture Notes in Computer Science, pages 174-187, Springer, 2005. [doi]
Abstract is missing.