Ronghai Yang is currently a security expert at Sangfor Techonology, Inc. He received a PhD degree from the Chinese University of Hong Kong under the supervision of Prof. Wing Lau. His research interests include protocol verification, formal methods, and general cyber security. His previous work has been presented in USENIX Security 2018 and Black Hat Europe, etc.