内容

学术讲座:Cyber-security, the journey from Formal Methods, Program Analysis to Data Analytics

阅读数:1089    发布:2016-12-20 16:42    

讲座题目: Cyber-security, the journey from Formal Methods, Program Analysis to Data Analytics

主讲人:Liu Yang,Nanyang Technological University

主持人:许智武

时间:2016年12月21日10:00am

地点:深圳大学南校区计算机与软件学院723(软件理论实验室)


报告摘要:

Cyber-security is a complex system research, which requires the knowledge and understanding cross all layers of the computer architecture. In this work, 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 on the topics related to security protocols,  virtualization systems and Android apps. 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. Security verification and building attack-free systems are very challenging tasks in view of the size and the complexity of the systems. To solve the scalability problem, we start to explore various program analysis to enhance the state-of-the-art malware and vulnerability detection, which generates encouraging results in Javascript/Android malware and binary  vulnerabilities hunting. Along the way, we have collected size malware/vulnerabilities samples, which are currently used to improving security  analysis, understand the security trend, attack attribution/correlation and  eventually provide high-level intelligence.


主讲人简介:

Dr Liu Yang graduated in 2005 with a  Bachelor of Computing (Honours) in the National University of Singapore (NUS).  In 2010, he obtained his PhD and started his post doctoral work in NUS, MIT and  SUTD. In 2011, Dr Liu is awarded the Temasek Research Fellowship at NUS to be  the Principal Investigator in the area of Cyber Security. In 2012 fall, he  joined Nanyang Technological University as a Nanyang Assistant professor. He is  currently the director of the cybersecurity lab in NTU.

Dr. Liu  specializes in software verification, security and software engineering. His  research has bridged the gap between the theory and practical usage of formal  methods and program analysis to evaluate the design and implementation of  software for high assurance and security. His work led to the development of a  state-of-the-art model checker, Process Analysis Toolkit (PAT). This tool is  used by research institutions in over 80 countries for research and education.  By now, he has more than 150 publications in top tier conferences and journals  and is leading a research team of 30 researchers.

深圳大学计算机与软件学院 2009-2016