ASSEC: an asynchronous self-checking RISC-based processor | IEEE Conference Publication | IEEE Xplore