教师信息

Dr. Xiangyu Zhang is an Professor of Department of Computer Science at Purdue Universitty. He earned his PhD from Computer Science Department at University of Arizona in 2006. His primary research interest mainly lies in dynamic, static and binary program analysis, debugging, system security, forensics, Android and iOS security, and improving effectiveness and robustness of data processing. His research results have been published in various venues including IEEE S&P, CCS, USENIX Security, and NDSS. Dr. Zhang is a recipient of the NDSS Distinguished Paper Award, CSAW 2015 Best Applied Security Paper Award TOP-10 Finalists, CCS Best Paper Award, and etc.

• Homepage   .

课程内容

【The Schedule of Each Day】

• June 5：
  • Program representations
  • Dynamic program analysis - part one
    • -Tracing
    • -Profiling
    • -Dynamic slicing
• June 6：
  • Dynamic program analysis - part two
    • -Taint analysis
    • -Program semantics and formulating dynamic analysis
    • -Security applications: forced execution, execution comparison
• June 7：
  • Static program analysis
    • -Essence of static analysis
    • -Alias analysis
    • -Flow-sensitivity, context-sensitivity, and field sensitivity
    • -Data flow analysis framework
• June 8：
  • Security applications of static analysis
    • -Control flow integrity and memory safety
  • Symbolic analysis
    • -Propositional logic
    • -SAT solving
    • -First order logic and SMT
• June 9：
  • Software model checking
  • Security applications of symbolic analysis
    • -Security testing, information flow quantification, integer overflow detection
  • Forensics analysis with probabilistic inference

【Course Project】

• Project 1: using Valgrind to do basic dynamic analyses
• Project 2: implement data dependence only taint analysis using Valgrind
• Project 3: call graph construction with LLVM
• Project 4: program equivalence checking with constraint solving

课件下载

【Courses Materials】

• 待定

住宿信息

【Hotel Information】

轨道交通

【地铁】

南京南站 → 南京大学仙林校区

线路：

南京南站（地铁三号线-林场方向） 上车
大行宫站 下车（换乘地铁二号线-经天路方向）
南大仙林校区站 下车（1口出）

南京站 → 南京大学仙林校区

线路：

南京站上车（地铁一号线-中国药科大学方向）
新街口站 下车（换乘地铁二号线-经天路方向）
南大仙林校区站 下车（1口出）

【公交线路】

南京站→南京大学仙林校区：

    南京站 步行400米 至 龙蟠路·南京站西（公交站）搭乘 d1路公交 元化路站 下车 （12站）

南京南站→南京大学仙林校区：

    公交线路 已停运 不建议搭乘公交

南京禄口机场→南京大学仙林校区：

    公交线路 已停运 不建议搭乘公交

【出租车】

南京站→南京大学仙林校区：

    南京站 至 南京大学仙林校区 约60元,全程耗时约50分钟

南京南站→南京大学仙林校区：

    南京南站 至 南京大学仙林校区 约70元,全程耗时约60分钟

南京禄口机场→南京大学仙林校区：

    南京禄口机场 至 南京大学仙林校区 约180元,全程耗时约1小时20分钟

【推荐交通方式】

南京站→南京大学仙林校区：

    南京站 （地铁一号线中国药科大学方向） 上车 新街口站 下车 换乘 地铁二号线（经天路方向）南京大学仙林校区站 下车

南京南站→南京大学仙林校区：

    1.南京南站 （地铁一号线中国药科大学方向） 上车 新街口站 下车 换乘 地铁二号线（经天路方向）南京大学仙林校区站 下车

    2.南京南站 （地铁三号线林场方向） 上车 大行宫站 下车 换乘 地铁二号线（经天路方向）南京大学仙林校区站 下车

南京禄口机场→南京大学仙林校区：

    1.禄口机场 （地铁s1号线南京南站方向） 上车 南京南站 下车 换乘 地铁1号线（中国药科大学方向）上车 新街口站 下车 换乘 地铁二号线（经天路方向）南京大学仙林校区站 下车

    2.禄口机场 （地铁s1号线南京南站方向） 上车 南京南站 下车 换乘 地铁3号线（林场方向）上车 大行宫站 下车 换乘 地铁二号线（经天路方向）南京大学仙林校区站 下车

报名联系

      【学员申请统一在龙星网站进行】 请点击此处
       龙星计划——计算机科学技术学术交流系列活动，是一个杰出的海外华人教授回国系统讲授研究生课程的计划。由国家自然科学基金委员会资助,龙星计划委员会负责。
       龙星计划课程——《程序分析与软件安全》将于6月5日~9日在南京大学开课。

南大地图

进入南大仙林校区南门，右手边的常州楼即为南京大学计算机系楼