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

主讲:刘杨博士 新加坡南洋理工大学助理教授

In this talk, I would like to share our attempts to solve security problems using various techniques. Starting from formal methods, we have applied formal modeling and reasoning to security designs and implementations. These efforts lead to our recent research project “Securify: A Compositional Approach of Building Security Verified System”, which aims at building secure and verifiable systems ground-up.

 
来源:中国教育网
CERNET第二十四届学术年会

相关课程