<strong>SmartVerif：安全协议通用全自动形式化验证系统</strong>

<strong>SmartVerif：安全协议通用全自动形式化验证系统</strong>

时间：2018年7月6日上午10:00 地点：九龙湖计算机楼313

报告简介：

现如今，网络安全问题日益严重，安全漏洞层出不穷，包括WIFI、4G、区块链等等。该问题已严重影响国家、商业、及个人的利益，引进国际广泛关注和重视。为了解决该问题，从上世纪起，多国已展开了形式化验证技术的研究，普遍认为形式化安全技术可以保证安全协议的设计安全。然而，目前的形式化验证技术的研究仍面临诸多挑战：针对复杂协议，无法通过全自动的方式验证协议的安全，需要额外的人工专家干预，方可完成验证。我们实现了一种全自动化的形式化验证技术：该技术具备通用性，不需要添加任何人工规则。目前，我们已成功对多个目前最具挑战的安全协议进行了全自动证明。该技术使用了强化学习的手段，突破了传统安全协议工具所面临的状态空间爆炸问题。

报告人简介：

熊焰，男，留美博士后、教授、博士生导师，国际计算机学会ACM中国区合肥分会主席、国家自然科学基金委、科技部、工信部、发改委和国家电网评审专家、电子学报常务编委、中国通信学会通信软件专家委员会委员、安徽省云计算产业促进会会长、安徽省网络安全与信息化专家组成员。1983年、1986年分别获得科大学士、硕士学位，1990年成为是科大计算机系博士，1992-1994年任科大计算机系副主任，1995-1997年赴美UMKC大学计算机科学与通信学院做博士后研究，现任计算机网络与信息安全研究室主任。曾获得省部级科技进步奖二等奖2项、三等奖1项，安徽省青年科技奖1项。至今已在国内外核心期刊和学术会议上发表论文200多篇。先后主持的项目有国家自然科学基金项目、国家自然科学基金重点项目、国家863重大专项、国家863重大项目、国家863项目、国家 973专题、中科院重大专项以及中科院国防创新基金等40多项国家和省部级项目。

计算机网络和信息集成教育部重点实验室（东南大学）