Information Sciences Seminar——Trusted Computing based Protocols: Modeling and Analysis

Abstract: Ensuring the software integrity of end devices is a key security requirement in trusted computing. In this talk, I will introduce a novel memory stride technique that significantly reduces the attestation time while remaining secure against known attacks and their advanced variants on ARM platform. I will also demonstrate our working on formally modeling and analyzing the hardware-based and software-based remote attestation protocols.
 
Bio: Dr. Guangdong Bai will join the University of Queensland, Australia as a Senior Lecturer. He obtained his PhD degree from National University of Singapore, and master and bachelor degrees from Peking University. His research interest includes security, software engineering and formal methods. During his previous research, he has worked on analyzing Web protocols, online payment, Android security and IoT security. His research has produced real impactful results which contribute to security enhancement of widely-used websites/applications like Sina Weibo, Facebook, Helium, Mozilla and Hadoop, and mobile device vendors like Samsung and Huawei (under CVE and SVE). His work appears on top academic conferences and journals such as NDSS, TSE, ASE and FM, as well as conferences well-recognized by industry such as Black Hat Europe.