国际网络安全研究学术论坛（网安国际）

自动检测云平台和系统软件中的缺陷

　　Abstract

　　The cyber security space offers a tremendous amount of interesting challenges to researchers. This presentation will provide an overview of these challenges based on the speaker‘s past research experiences. The first half of the talk will briefly outline the scope of threats from system software to firmware and hardware components. This part of talk will present the effort by the speaker and his students on detecting flaws and vulnerabilities in mobile and IoT firmware. The second half of the talk will cover the topic of cloud and virtual machine security. The speaker will present his recent efforts in designing software tools to detect flaws in virtual machines and cloud platforms. The talk will also present plans to extend the detection techniques to domains beyond virtual machines， such as supply chain and hardware security.

　　BIO

　　Kang Li is currently a Professor of Computer Science at the University of Georgia， where he leads the Cyber Security research cluster. Dr. Li received his B.S. degree in computer science from Tsinghua University， and he graduated with his Ph.D in computer science and engineering from Oregon Graduate Institute at Portland， Oregon. He worked as a research scientist at the College of Computing of Georgia Tech before joining University of Georgia. His research interests are in the areas of computer security and operating systems. His current research topics include virtualization security and bootloader firmware security. Dr. Kang Li has also founded multiple CTF security teams， including Disekt， and SecDawg， which play various CTF competitions around the world.

　　HomePage：http：//cobweb.cs.uga.edu/～kangli/index.html

　　敬请关注“网安国际”微信公众号：InForSec（加微信二维码）

　　联系人：段海新， duanhx@tsinghua.edu.cn

　　清华大学网络科学与网络空间研究院