国防科技大学电子科学学院讲师,主要研究方向为软件漏洞分析技术,承担负责863、自然科学基金、重点研发计划等多个科研项目的研发,2017年指导的Halfbit战队参加首届国际机器人安全竞赛获得第一名。
议题简介:介绍软件漏洞自动挖掘分析技术方面的研究现状,分享本研究团队在该领域的研究成果,简要介绍首次国际机器人安全竞赛的技术特点和基本情况、halfbit战队机器人的设计架构与组成,分享其中采用的自动挖掘、分析与利用等关键技术,展望软件漏洞自动分析技术研究的未来。