A theoretical implementation of Blended Program Analysis for virus signature extraction | IEEE Conference Publication | IEEE Xplore