Control-flow checking using watchdog assists and extended-precision checksums | IEEE Conference Publication | IEEE Xplore