【精彩活動，不容錯過】 

           Dawn Song教授解讀“AI 與安全”，Chengyu Song博士分享最新成果 

　　“軟件智能分析”學術沙龍第三次活動將于2017年8月21日（星期一）下午兩點半在中國科學院軟件研究所5號樓334會議室舉行。本次活動由中國科學院軟件研究所軟件智能分析協同創新團隊和InForSec網安國際學術論壇共同舉辦，有幸邀請到了來自美國加州大學伯克利分校的“MacAuthur天才獎”“世界杰出青年創新家”等獎項獲得者、國際四大安全會議論文數第一的Dawn Song教授，以及來自美國加州大學河濱分校的學術新星Chengyu Song博士，兩位頂尖學者將帶來精彩報告，分別介紹AI與安全的相輔相成、實用化防護方案的最新進展等。報告將通過InForSec論壇網上實時轉播，敬請關注。 

　　主辦：中國科學院軟件研究所軟件智能分析協同創新團隊 

InForSec網安國際學術論壇 

　　時間：2017年8月21日（周一）下午14:30-16:30 

　　地點：中國科學院軟件研究所5號樓334會議室 

　　內容摘要及嘉賓介紹 

Dawn Song教授，加州大學伯克利分校 

 題目: AI and Security: lessons, challenges and future directions   

 摘要: 

　   In this talk, I will talk about challenges and exciting new opportunities at the intersection of AI and Security, how AI and deep learning can enable better security, and how Security can enable better AI. In particular, I will talk about secure deep learning and challenges and approaches to ensure the integrity of decisions made by deep learning. I will also give an overview on our work on using program analysis and transformation techniques to enable privacy-preserving data analytics and machine learning. I will also talk about how we can use deep learning for vulnerability detection. Finally, I will conclude with future directions at the intersection of AI and Security. 

 個人介紹:  

　　Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at UC Berkeley. Her research interest lies in deep learning and security. She has studied diverse security and privacy issues in computer systems and networks, including areas ranging from software security, networking security, database security, distributed systems security, applied cryptography, to the intersection of machine learning and security. She is the recipient of various awards including the MacArthur Fellowship, the Guggenheim Fellowship, the NSF CAREER Award, the Alfred P. Sloan Research Fellowship, the MIT Technology Review TR-35 Award, the George Tallman Ladd Research Award, the Okawa Foundation Research Award, the Li KaShing Foundation Women in Science Distinguished Lecture Series Award, the Faculty Research Award from IBM, Google and other major tech companies, and Best Paper Awards from top conferences. She obtained her Ph.D. degree from UC Berkeley. Prior to joining UC Berkeley as a faculty, she was a faculty at Carnegie Mellon University from 2002 to 2007. 

 Chengyu Song博士，加州大學河濱分校 

 題目: Efficient Protection of Path-Sensitive Control Security 

 摘要: 

　　Control-Flow Integrity (CFI), as a means to prevent control-flowhijacking attacks, enforces that each instruction transfers control toan address in a set of valid targets.  The security guarantee of CFIthus depends on the definition of valid targets, which conventionallyare defined as the result of a static analysis.  Unfortunately, previousresearch has demonstrated that such a definition, and thus anyimplementation that enforces it, still allows practical control-flowattacks. 

　　In this work, we present a path-sensitive variation of CFI that utilizesruntime path-sensitive point-to analysis to compute the legitimatecontrol transfer targets.  We have designed and implemented a runtimeenvironment, PittyPat, that enforces path-sensitive CFI efficiently bycombining commodity, low-overhead hardware monitoring and a novelruntime points-to analysis.  Our formal analysis and empiricalevaluation demonstrate that, compared to CFI based on static analysis,PittyPat ensures that applications satisfy stronger security guarantees,with acceptable overhead for security-critical contexts. 

 個人介紹: 

　　Chengyu Song is an Assistant Professor at the Computer Science andEngineering department of UC Riverside. His primary research interestsare system and software security. He received his PhD from Georgia Techsupervised by Prof. Wenke Lee and Prof. Taesoo Kim. He has published14 papers in top security and system conferences. One of his co-authoredpaper won the 2015 Internet defense prize ($100k) and another one wonthe CSAW'15 best applied security research paper. He received his M.Eng.and B.S. from Peking University in 2010 and 2007.