Employing Program Semantics for Malware Detection | IEEE Journals & Magazine | IEEE Xplore