Hyun-Seok Kim

Hyun-Seok Kim received the B.S. degree in the Department of Business Management from Korea Military Academy, Seoul, Korea in 2000 and MS, Ph.D degree in the Department of Computer Science and Engineering at Korea University, Seoul, Korea in 2006, 2009 respectively. His research interests include the areas of Formal methods(formal specification, verification, and model checking), RFID authentication design, mobile commerce anonymity, and smart card privacy protection.

1chapters authored