• Threat Model • Control Flow Graph • Control Flow Integrity basic implementation – Build CFG – Instrumentation – Evaluation – Security and Adversary • Binary-CFI(CCFIR) – Introduce – Implementation – Context-Sensitive CFI

南京大学：《软件安全 Software Security》课程教学资源（PPT课件讲稿）Return-Orinted Programming（ROP Attack）

I. Program Analysis II. Data Flow Analysis ✓ Available Expressions ✓ Liveness Analysis ✓ Reaching Definitions ✓ Very Busy Expressions III.Theory Behind IV. Sensitivity V. Summary

南京大学：《软件安全 Software Security》课程教学资源（PPT课件讲稿）Use-after-free

 词法分析的作用  词法单元的规约（正则表达式）  词法单元的识别（状态转换图）  有穷自动机  词法分析器生成工具及设计

南京大学：计算机科学与技术系学习指导（PPT讲座）第二讲 欲立业先立人－大学时代个人品德和综合素质的培养

南京大学：计算机科学与技术系学习指导（PPT讲座）研究生学习培养要求与指南（课题组内使用）

Formalism Derivations Backus-Naur Form Left- and Rightmost Derivations

Statement Applications

Turing Machines Recursive and Recursively Enumerable Languages