当前位置:首页 > 信息公告 > 学院新闻
计算机网络和信息集成教育部重点实验室学术报告(新加坡南洋理工大学Yang Liu博士、Kwoh Chee Keong博士)
发布日期:2017-2-21     发布者:刘肖凡     浏览次数:1202

应李必信教授的邀请,新加坡南洋理工大学Yang Liu博士和Kwoh Chee Keong博士将访问东南大学计算机科学与工程学院、软件学院,并做招生宣传、学术报告以及学术研讨。

报告地点:东南大学九龙湖校区计算机楼四楼会议室(413室)
报告时间228日(周二)上午10:00-12:00

报告题目(一)Introduction to School of Computer Science and Engineering, Nanyang Technological University(招生宣传)
报告人Kwoh Chee Keong博士 (南洋理工大学)

报告题目(二)Cyber-security, the Journey from Formal Methods, Program Analysis to Data Analytics
报告人Yang Liu博士 (南洋理工大学)

AbstractCyber-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.

Short Bio: 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). By now, he has more than 150 publications in top tier conferences and journals and is leading a research team of 30 researchers.