• 课程简介
  • 教师信息
  • 课程内容
  • 课件下载
  • 住宿信息
  • 交通信息
  • 报名联系
  • 南大地图

程序分析与软件安全

【课程名称】 程序分析与软件安全

【课程教者】 张翔宇

【上课时间】 2017年6月5日-9日

【讨论时间】 待定

【上课地点】 南京大学计算机科学与技术系楼(常州楼)

【承办单位】 南京大学

【课程介绍】

    This is a graduate-level research-oriented course. The goal of this course is to teach graduate students the state-of-the-art program analysis techniques and tools and their applications to security problems. This course is designed to rely on lectures and projects which will help you to gain both theoretical knowledge and hands-on skills.

【课程资料】 随堂发放

【评分标准】 课程实验

教师信息


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.



课程内容

【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】

酒店名称 联系电话 参考价格 地址及乘车路线
  南京英尊假日酒店     025-85600777     245¥/天     地铁2号线南京大学仙林校区地铁站正对面  
  南京棉铭快捷酒店     025-84668877     210¥/天     地铁2号线南京大学仙林校区地铁站附近  
  南京栖霞区艺术家酒店     025-57050077     270¥/天     地铁2号线仙林中心地铁站附近  
  南京悦宁宾馆      025-85339887     210¥/天     地铁2号线南京大学仙林校区地铁站附近  

轨道交通

【地铁】

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


线路:

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


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

线路:

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


【公交线路】

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

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

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

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

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

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


【出租车】

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

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

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

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

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

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


【推荐交通方式】

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

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

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

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

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

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

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

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

报名联系

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

南大地图

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