A framework for trusted instruction execution via basic block signature verification