Control-flow error detection using combining basic and program-level checking in commodity multi-core architectures | IEEE Conference Publication | IEEE Xplore