Jiwon Kwak received the M.S. degree in cyber defense from Korea University, South Korea, in 2019, where he is currently pursuing the Ph.D. degree with the School of Cyber security. His research interests include high-assurance systems, model-driven security, threat modeling, and formal method.