On the Impossibility of Virus Detection
Professor Dave Evans, Computer Science Dept., University of Virginia

Why is computer security so hard? The Halting Problem proves detection-based security solutions can never be 100 percent effective. Read Computer Science Professor Dave Evan’s essay to see how redefining our problems and approaches mathematically can help us find new solutions such as “shadowing” (virtualization) to address the problem of malware.