A proposal for a verification-based virus filter | IEEE Conference Publication | IEEE Xplore