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

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

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

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

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

张玉清博士，中国科学院大学 教授/博导，国家计算机网络入侵防范中心主任。主要从事网络与系统安全方面的研究与开发工作，在国际系统安全顶级会上发表论文10余篇，先后承担国家自然科学基金重点项目、国家重点研发计划项目，主要研究方向：网络攻击与防护、网络与系统安全、人工智能与安全、物联网安全等。
蒙威志博士，英国兰卡斯特大学教授，并担任计算与通信学院国际合作副主任。主要研究方向是网络安全、区块链技术以及人工智能安全领域，具体包括入侵检测、区块链应用、智能手机安全、生物识别认证和物联网安全。曾于2014年和2017年两度荣获香港工程师学会杰出青年工程师/研究人员论文奖。此外，于2020年荣获IEEE ComSoc欧洲、中东和非洲地区（EMEA）最佳青年研究员奖。并曾担任ACM CCS 2023和ESORICS 2022等多个国际会议的主席。