Undecidable problems in malware analysis. - Ali Aydin Selçuk; Fatih Orhan; Berker Batur (ICITST, 2017)