We present the first provably secure defense against software viruses. We hide a secret in the program code in a way that ensures that, as long as the system does not leak information about it, any injection of malware will destroy the secret with very'- high probability. Once the secret is destroyed, its destruction and therefore also the injection of malware will be quickly detected.