Abadi et al., CCS 2005 (Microsoft Research) The original paper on Control Flow Integrity, the defense against jump table hijacking and return-oriented programming. Modern compilers implement CFI via `-fsanitize=cfi`. Relevant to the Chapter 35-37 security chapters.