网络与系统安全研究进展与展望

课程编码：180086081200P0009H 英文名称：Research Progress and Prospects of Network and System Security 课时：20 学分：1.00 课程属性：高级强化课 主讲教师：张玉清

本课程为高级强化课，将会对基于程序分析的软件安全前沿研究做深入的介绍。通过本课程，学生可以了解到如何将程序分析技术用于自动化漏洞挖掘以及程序强化中。通过论文分享、迷你CTF比赛，以及拓展已有的程序分析框架，学生将有机会将课程中所学的知识应用于实际场景之中。

计算机网络,高级语言程序设计

第一章 基于程序分析的软件安全 张玉清
第1节 安全顶会介绍 2.0学时 蒙威志
第2节 内存安全 2.0学时 蒙威志
第3节 数据竞争 2.0学时 蒙威志
第4节 模糊测试 2.0学时 蒙威志
第5节 类型检查 2.0学时 蒙威志
第6节 声明式安全规则 2.0学时 蒙威志
第7节 抽象解释 2.0学时 蒙威志
第8节 符号执行 2.0学时 蒙威志
第9节 学术写作 4.0学时 蒙威志

张玉清博士，中国科学院大学 教授/博导，国家计算机网络入侵防范中心主任。主要从事网络与系统安全方面的研究与开发工作，在国际系统安全顶级会上发表论文10余篇，先后承担国家自然科学基金重点项目、国家重点研发计划项目，主要研究方向：网络攻击与防护、网络与系统安全、人工智能与安全、物联网安全等。