【视频回看】网络空间安全之旅：从形式化方法、程序分析到数据分析–二进制漏洞检测实例

Title：网络空间安全之旅：从形式化方法、程序分析到数据分析–二进制漏洞检测实例

Speaker：刘杨博士　新加坡南洋理工大学助理教授

Time: 2017年6月16日

视频地址：http://www.edu.cn/xxh/spkt/aq/201707/t20170706_1538333.shtml