Refinement checking is an important formal verification method that checks if a hardware implementation complies with (in other words, refines) a given specification. It has been widely used in processor and non-processor verification. In refinement …
Code reuse attack (CRA) hijacking the control flow of programs for malicious actions without injecting any codes, has brought great concerns to system security. Most existing defenses incur high performance overhead or require the instruction set …