题目: Eliminating Unexpected Software Behaviors through Component-based Isolation
报告人：梁振凯
地点：东五楼二楼210学术报告厅
时间：9月22日上午9:00

报告摘要:
　　The concept of software components is the basis of software systems. Programs integrate software components to use their functionality. However, in a functionality-oriented design, the integration method of software components allows them to perform more than what they are expected to do. This problem of unexpected behaviors manifests itself in many different operating environments, such as desktop operating systems and the web platform. In this talk, I discuss our view on this problem and our recent work that develops new isolation-based methods to accurately confine behaviors of software components, as well as new applications and understandings of such methods.

报告人简介:
　　Zhenkai Liang is an assistant professor in School of Computing, National University of Singapore. His main research interests are in system and software security, web security, and software debugging. As a co-author, he received the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE in 2009, the Best Paper Award at USENIX Security Symposium in 2007, and the Outstanding Paper Award at the Annual Computer Security Applications Conference (ACSAC) in 2003. He also received the Young Investigator Award of National University of Singapore in 2008. He received his Ph.D. degree from Stony Brook University in 2006, and B.S. degree from Peking University in 1999.