Reliable identification of bounded-length viruses is NP-complete

  title={Reliable identification of bounded-length viruses is NP-complete},
  author={Diomidis Spinellis},
  journal={IEEE Trans. Information Theory},
A virus is a program that replicates itself by copying its code into other files. A common virus protection mechanism involves scanning files to detect code patterns of known viruses. We prove that the problem of reliably identifying a bounded-length mutating virus is NP-complete by showing that a virus detector for a certain virus strain can be used to solve the satisfiability problem. The implication of this result is that virus identification methods will be facing increasing strain as virus… CONTINUE READING
Highly Cited
This paper has 95 citations. REVIEW CITATIONS



Citations per Year

96 Citations

Semantic Scholar estimates that this publication has 96 citations based on the available data.

See our FAQ for additional information.