主讲：Dr. Guomin Yang，University of Wollongong (UOW)，Australia
专家简介：Dr. Guomin Yang is a DECRA Research Fellow at the School of Computing and Information Technology, University of Wollongong (UOW), Australia. He was admitted to the Mathematics Department of Fudan University in 1999, and moved to City University of Hong Kong in 2000 after being awarded the Hong Kong Jockey Club Scholarship. He received the Bachelor, Master and PhD degrees in Computer Science from City University of Hong Kong in 2004, 2006 and 2009, respectively. Before joining UOW in 2012, he was a Research Scientist at the Temasek Laboratories, National University of Singapore. Dr. Yang’s research interests are applied cryptography and network security. He has published over 90 research papers that have appeared at many respected venues such as ACM/IEEE Transactions, CRYPTO, ASIACRYPT, PKC, CT-RSA, etc. In 2015, he received the Australian Research Council Discovery Early Career Researcher Award.
报告摘要：Authenticated key exchange (AKE) protocols allow two parties communicating over an insecure network to establish a common secret key. They form a central component in many network security standards such as TLS/SSL, SSH and IPSec. The traditional AKE protocols are designed under the assumption that the secrets used by an AKE algorithm, including the user secret keys and the random coins, are out of the reach of the adversary. However, such an assumption may not be valid in the real implementations of AKE protocols due to various reasons. In this work, we present a strong yet meaningful security model to capture the exposure and leakage of both user secret keys and random coins in AKE protocols. We also provide a generic AKE framework that is resilient to key exposure and bad randomness.