Efficient protection of the pipeline core for safety-critical processor-based systems | IEEE Conference Publication | IEEE Xplore