Control-Flow Checking Using Branch Instructions | IEEE Conference Publication | IEEE Xplore