主题：The application and interpretation of learning-based security techniques
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.