BYR Achieve · 镜像论坛

澳洲昆士兰大学（世界排名47）白光冬教授报告以及全奖博士招生

2019/7/1镜像同步1 回复

澳洲昆士兰大学（世界排名47）白光冬教授报告以及全额奖学金博士招生！ Title: Scrutinizing Security Software and Protocols with Formal Methods Abstract: This talk will brief our research results on applying formal methods for security analytics. It will show how formal analysis identifies logic flaws from various real-world applications, including web authentication, online payment and mobile apps. This talk will then focus on our approach that uses software model checking technique to verify Android apps. We have built a general framework named DroidPF which enables to explore the concrete state spaces, addresses the challenge caused by event-driven execution paradigm, and alleviates state space explosion. Bio: Dr. Guangdong Bai will join the University of Queensland, Australia as a Senior Lecturer. 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. 报告时间地点：7月2日（周二）下午三点教三楼611会议室欢迎感兴趣的本科生和研究生参加！

订阅后，新回复会通过你的通知中心匿名送达。