电子科技大学：《电气工程仿真软件应用 Electrical Engineering Simulation Software Application》课程教学资源（教学大纲）

Background Control Flow Hijack Control Flow Hijack Defense Canary Defense StackGuard StackGuard Weakness DiffGuard Polymorphic Canary Data Execution Prevention Definition DEP Scorecard Return-to-libc Attack ASLR ASLR Randomization ASLR

• 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

 Code Mobility  Mobile Agent  Migration Mechanism in Mobile Agent System

5.1 Principles of Concurrency • 5.1.0 What is concurrency • 5.1.1 A Simple Example • 5.1.2 Race Condition • 5.1.3 Operating System Concerns • 5.1.4 Process Interaction • 5.1.5 Requirements for Mutual Exclusion 5.2 Mutual Exclusion • 5.2.1 Hardware approaches • 5.2.2 Software approaches

• MSC.EASY5 Overview • Getting Started • Help and Documentation • Model Building & Simulation • Operating Point and Steady State Analysis • Linear Analyses • Data Tables and the Matrix Editor • Analysis Tools & Methodology • Simulation and Integration • Interactive Simulation • Miscellaneous Topics • MSC.EASY5 Architecture • Writing Code in MSC.EASY5 • Summary

计算机科学与技术（参考文献）Synthesizing Object State Transformers for Dynamic Software Updates