Design of a Portable Control-Flow Checking Technique. - Zeyad Alkhalifa; V. S. S. Nair (HASE, 1997)

Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection. - Zeyad Alkhalifa; V. S. S. Nair; Narayanan Krishnamurthy; Jacob A. Abraham (IEEE Trans. Parallel Distributed Syst., 1999)