Dept. of Information and Security at ICT Polytech Institute of Korea - South Korea
Author Profile
GOOGLE SCHOLAR
🎓 Early academic pursuits
Hyun-Seok Kim embarked on his academic journey with a bachelor’s degree in business management from the korea military academy in 2000. his growing passion for computing and security led him to pursue a master’s in computer science from korea university, completed in 2006. his master’s thesis, which analyzed security protocols using model checking, laid the groundwork for his further exploration into cryptographic systems. in 2009, he earned his ph.d. in computer science from the same institution, with a dissertation titled “cryptographic model and formal design for distributed network system.” during his formative academic years, he established a deep foundation in formal methods, secure system design, and the intersection of computing with national security.
💼 Professional endeavors
dr. kim has accumulated over two decades of professional experience in information security and auditing. from june 2012 to january 2023, he served as an it senior auditor and deputy director at the board of audit and inspection of the republic of korea. in this role, he led several critical national audits covering information protection, cyber safety, and system operations. his notable reports, including reviews of foreign ministry operations and financial sector cyber safety, contributed significantly to national cyber governance. since august 2023, he has taken on a leadership role as the head of the department of information security at ict polytechnic university in gwangju, gyeonggi-do, where he continues to drive research and curriculum advancement, integrating cross-disciplinary insights including areas like power electronics and secure hardware protocols.
🧠 Contributions and research focus
Dr. Kim’s core research revolves around security modeling, formal verification, and secure system architecture. his academic efforts have consistently bridged theory with practical application, focusing on critical areas such as wireless networks, iot, banking systems, and cloud infrastructure. through his rigorous verification techniques and cryptographic models, he has developed Computer Science robust frameworks to identify and mitigate system vulnerabilities. he also delves into security aspects of embedded systems, where topics like power electronics and secure circuit design are becoming increasingly relevant, especially within smart grids and industrial control systems.
🌍 Impact and influence
Hyun-Seok Kim’s work has played a pivotal role in shaping south korea’s public sector it governance. his detailed audit reports have influenced cyber safety protocols and security legislation at national and international levels. beyond policy influence, he has mentored students and professionals, promoting awareness of formal verification, ethical hacking, and critical system audits. Computer Science by integrating insights from adjacent fields such as power electronics, he encourages a broader, systems-level understanding of security in cyber-physical environments.
📚 Academic cites and achievements
Dr. Kim’s academic and governmental publications are frequently cited in the realms of computer security, auditing, and formal verification. he has co-authored at least 14 major audit reports, many of which have been used as reference documents for policy development in ministries like foreign affairs and finance. his patented technologies and cryptographic frameworks are also Computer Science gaining recognition in academic and industrial circles.
🧭 Legacy and future contributions
As he leads the department of information security at ict polytechnic university, dr. kim is focused on cultivating the next generation of cybersecurity experts. he aims to expand interdisciplinary collaboration, particularly in emerging areas like secure autonomous systems, where integration with power electronics is crucial. his vision includes creating resilient security models for future smart cities and industrial automation frameworks. with a legacy rooted in national service, academic excellence, and innovation, he is committed to advancing secure and trustworthy digital infrastructures.
Notable Publications
-
Title: Bio-2FA-IoD: A Biometric-Enhanced Two-Factor Authentication Protocol for Secure Internet of Drones Operations
Author(s): H.K.S. Park
Journal: Mathematics (SCIE), Vol. 13, Issue 13, Article 2177, 2025
-
Title: Efficient and Scalable Authentication Framework for Internet of Drones (IoD) Networks
Author(s): H. Kim
Journal: Electronics (SCIE), Vol. 14, Issue 12, Article 2435, 2025
-
Title: Formal Analysis of E-Payment System based on 3-D Secure in Social Payment Environment
Author(s): H. Kim
Journal: IEEE SNAMS, 2024
-
Title: Enhancement of user authentication using biometrics in mobile networks
Author(s): H.S. Kim
Journal: ICCE-TW, 2024
-
Title: Security Enhancement of Biometric-Based Authentication Systems Using Smart Card
Author(s): H. Kim
Journal: IEEE ACCESS (SCIE), Vol. 12, Pages 174053–174065