Using Verification Technology to Specify and Detect Malware. / Holzer, Andreas; Kinder, Johannes; Veith, Helmut.

11th Int. Conf. Computer Aided Systems Theory (Eurocast 2007), Revised Selected Papers. Springer, 2007. p. 497-504.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

  • eurocast07

    Accepted author manuscript, 80 KB, PDF document

Abstract

Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checking based approach to malware detection can capture the semantics of security exploits more accurately than traditional approaches, and consequently achieve higher detection rates. In this approach, malicious behavior is formalized using the expressive specification language CTPL based on classic CTL. This paper gives an overview of our toolchain for malware detection and presents our new system for computer assisted generation of malicious code specifications.
Original languageEnglish
Title of host publication11th Int. Conf. Computer Aided Systems Theory (Eurocast 2007), Revised Selected Papers
PublisherSpringer
Pages497-504
DOIs
Publication statusPublished - Feb 2007
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17566482