主讲人：游伟
时间：2023年5月23日8:30
地点：中澳学院楼C105
主讲人简介：
游伟，博士，中国人民大学副教授,美国印第安纳大学和普渡大学博士后，入选国家级青年人才项目、中国人民大学青年学者支持计划。长期从事软件漏洞的自动化挖掘和二进制程序的动态/静态分析，在常见应用程序中挖掘出近百个安全漏洞，曝光了数百个恶意应用的隐蔽可疑行为。
游伟博士在信息安全和软件工程领域国际顶级学术会议/期刊论文上发表论文十余篇，获得最佳论文奖一次，最佳应用安全论文提名奖两次。
主要内容:
二进制程序分析与测试是在无源代码的情况下，对编译好的二进制程序进行高层语义恢复，并在此基础上测试目标程序。然而，二进制程序的高层语义恢复天然具有不确定性，这给分析和测试工作带来了较大挑战。概率分析和推理是对不确定问题的一种建模方法。本次报告的主题是通过引入概率分析和推理方法，实现有效且高效的二进制程序依赖分析、变量和数据类型恢复，以及二进制程序模糊测试。
