Ali Aydin Selçuk, Fatih Orhan, Berker Batur. Undecidable problems in malware analysis. In 12th International Conference for Internet Technology and Secured Transactions, ICITST 2017, Cambridge, United Kingdom, December 11-14, 2017. pages 494-497, IEEE, 2017. [doi]