Computer viruses from theory to applications [CuPpY]