Formalizing Signature Analysis for Control Flow Checking of Pipelined RISC Microprocessors | IEEE Conference Publication | IEEE Xplore