A novel high-capability control-flow checking technique for RISC architectures | IEEE Conference Publication | IEEE Xplore