讲座信息
7.22 | The application and interpretation of learning-based security techniques
2019.07.16
演讲者 杨威
头衔职位 助理教授,德克萨斯大学达拉斯分校
时间 2019 年 7 月 22 日(周一)上午 10:00-11:30
地点 张江校区软件楼 105 会议室
联系人 杨哲慜,yangzhemin@fudan.edu.cn

演讲简介

While machine learning-based techniques have been widely applied in security domains, being able to explain the rationale behind their decision making process remains as a largely open problem. Recent techniques on interpreting decision making of neural networks either provide local explanation for each input instance or approximate the original model based on a set of input-output instances. The quality of explanation provided by these techniques is limited by the scope of inputs used to generate approximated models or explanations. However, the inherent nature of security research requires us to understand the intrinsic characteristics of a neural network model instead of just parts of model behaviors.

In this talk, I will first introduce REINAM as an example of applying machine learning technique for security research purpose. REINAM is a reinforcement-learning approach for synthesizing probabilistic context-free program input grammars without any seed inputs. Then, I will introduce DENAS, a novel input-independent neural-network explanation approach dedicated for security applications. DENAS is capable of efficiently generating decision rules which could interpret the decision making of a neural network without providing any input. Finally, I will briefly introduce iRuler, an IoT analysis framework that leverages Satisfiability Modulo Theories (SMT) solving and model checking to discover inter-rule vulnerabilities.

关于讲者

Wei Yang is an assistant professor in the Department of Computer Science at the University of Texas at Dallas. He received his Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in 2018, advised by Prof. Carl A. Gunter and Prof. Tao Xie, an M.S. in Computer Science from North Carolina State University in 2013, advised by Prof. Tao Xie, and a B.E. in Software Engineering from Shanghai Jiao Tong University in 2011, advised by Prof. Jianjun Zhao. He was a visiting researcher in University of California, Berkeley in 2017, invited by Prof. Dawn Song.
© 2019 复旦大学计算机科学技术学院 地址:上海市张衡路825号 Tell:+86-21-51355555 Fax:+86-21-51355558 Emall:cs_school@fudan.edu.cn
复旦大学计算机科学技术学院
扫一扫了解学院