Publication

Jiyoon Kim, Seungbin Lee, Yongho Ko, Ilsun You, "Semantic-Aware Security Protocol Design for 6G Non-Terrestrial Networks: A Formal Verification Approach," International Journal on Semantic Web and Information Systems (IJSWIS), 21(1):1-38 (2025)

Daemin Shin, Jiyoon Kim, I Wayan Adi Juliawan Pawana, Ilsun You, "Enhancing Cloud-Native DevSecOps: A Zero Trust Approach for the Financial Sector," Computer Standards & Interfaces, 93:103975 (2025)

Ilsun You, Jiyoon Kim, I Wayan Adi Juliawan Pawana, Yongho Ko, "Mitigating Security Vulnerabilities in 6G Networks: A Comprehensive Analysis of the DMRN Protocol Using SVO Logic and ProVerif," Applied Science 14:9726 (2024)

Taeguen Kim, Jiyoon Kim, Ilsun You, "An Anomaly Detection Method Based on Multiple LSTM-Autoencoder Models for In-Vehicle Network," Electronics 12(17): 3543 (2023)

Hoonyong Park, TaeGuen Kim, Daniel Gerbi Duguma, Jiyoon Kim, Ilsun You, Willy Susilo, "An Enhanced Group Key-Based Security Protocol to Protect 5G SON Against FBS," Comput. Syst. Sci. Eng. 45(2):1145-1165 (2023)

Jiyoon Kim, Jongmin Oh, Daehyeon Son, Hoseok Kwon, Philip Virgil Astillo, Ilsun You, "APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System," Sensors 23(12):5501 (2023)

Jiyoon Kim, Dong-Guk Han, Ilsun You, "Design of Secure Authentication Handover Protocol for Innovative Mobile Multimedia Services in 5G MEC Environments," Journal of Internet Technology 23(6):1245-1261 (2022)

JongHyeok Lee, Jiyoon Kim, Dong-Guk Han, "Novel Shuffling Countermeasure for Advanced Encryption Standard (AES) against Profiled Attack in Mobile Multimedia Services," Wireless Communications and Mobile Computing 2022: 6495546:1-12 (2022)

Daniel Gerbi Duguma, Jiyoon Kim, Sangmin Lee, Nam-Su Jho, Vishal Sharma, Ilsun You, "A lightweight D2D security protocol with request-forecasting for next-generation mobile networks," Connect. Sci. 34(1):362-386 (2022)

Philip Virgil Astillo, Daniel Gerbi Duguma, Hoonyong Park, Jiyoon Kim, Bonam Kim, Ilsun You, "Federated intelligence of anomaly detection agent in IoTMD-enabled Diabetes Management Control System," Future Gener. Comput. Syst. 128:395-405 (2022)

Jiyoon Kim, Philip Virgil Astillo, Vishal Sharma, Nadra Guizani, Ilsun You, "MoTH: Mobile Terminal Handover Security Protocol for HUB Switching Based on 5G and Beyond (5GB) P2MP Backhaul Environment," IEEE Internet Things J. 9(16):14667-14684 (2022)

Jiyoon Kim, Daniel Gerbi Duguma, Philip Virgil Astillo, Hoonyong Park, Bonam Kim, Ilsun You, Vishal Sharma, "A Formally Verified Security Scheme for Inter-gNB-DU Handover in 5G Vehicle-to-Everything," IEEE Access 9:119100-119117 (2021)

Hoonyong Park, Jiyoon Kim, Sangmin Lee, Daniel Gerbi Duguma, Ilsun You, "lwEPSep: A Lightweight End-to-end Privacy-preserving Security Protocol for CTI Sharing in IoT Environments," Journal of Internet Technology 22(5):1069-1081 (2021)

Jiyoon Kim, Daniel Gerbi Duguma, Sangmin Lee, Bonam Kim, JaeDeok Lim, Ilsun You, "Scrutinizing the Vulnerability of Ephemeral Diffie-Hellman over COSE (EDHOC) for IoT Environment Using Formal Approaches," Mob. Inf. Syst. 2021:7314508:1-7314508:18 (2021)

Yongho Ko, Jiyoon Kim, Daniel Gerbi Duguma, Philip Virgil Astillo, Ilsun You, Giovanni Pau, "Drone Secure Communication Protocol for Future Sensitive Applications in Military Zone," Sensors 21(6):2057 (2021)

Daniel Gerbi Duguma, Ilsun You, Yonas Engida Gebremariam, Jiyoon Kim, "Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols," Sensors 21(24):8383 (2021)

Philip Virgil Astillo, Gaurav Choudhary, Daniel Gerbi Duguma, Jiyoon Kim, Ilsun You, "TrMAps: Trust Management in Specification-Based Misbehavior Detection System for IMD-Enabled Artificial Pancreas System," IEEE J. Biomed. Health Informatics 25(10):3763-3775 (2021)

Jiyoon Kim, Philip Virgil Astillo, Ilsun You, "DMM-SEP: Secure and Efficient Protocol for Distributed Mobility Management Based on 5G Networks," IEEE Access 8:76028-76042 (2020)

Vishal Sharma, Jiyoon Kim, Yongho Ko, Ilsun You, Jung Taek Seo, "An optimal security management framework for backhaul-aware 5G-Vehicle to Everything (V2X)," Journal of Internet Technology 21(1):245-260 (2020)

Philip Virgil Astillo, Jiyoon Kim, Vishal Sharma, Ilsun You, "SGF-MD: Behavior Rule Specification-Based Distributed Misbehavior Detection of Embedded IoT Devices in a Closed-Loop Smart Greenhouse Farming System," IEEE Access 8:196235-196252 (2020)

Daemin Shin, Keon Yun, Jiyoon Kim, Philip Virgil Astillo, Jeong-Nyeo Kim, Ilsun You, "A Security Protocol for Route Optimization in DMM-Based Smart Home IoT Networks," IEEE Access 7:142531-142550 (2019)

Jiyoon Kim, Gaurav Choudhary, Jaejun Heo, Daniel Gerbi Duguma, Ilsun You, "5G wireless P2MP backhaul security protocol: an adaptive approach," EURASIP J. Wirel. Commun. Netw. 2019:265 (2019)

Vishal Sharma, Jianfeng Guan, Jiyoon Kim, Soonhyun Kwon, Ilsun You, Francesco Palmieri, Mario Collotta, "MIH-SPFP: MIH-based secure cross-layer handover protocol for Fast Proxy Mobile IPv6-IoT networks," J. Netw. Comput. Appl. 125:67-81 (2019)

Daemin Shin, Vishal Sharma, Jiyoon Kim, Soonhyun Kwon, Ilsun You, "Secure and Efficient Protocol for Route Optimization in PMIPv6-Based Smart Home IoT Networks," IEEE Access 5:11100-11117 (2017)

Vishal Sharma, Kyungroul Lee, Soonhyun Kwon, Jiyoon Kim, Hyungjoon Park, Kangbin Yim, Sun-Young Lee, "A Consensus Framework for Reliability and Mitigation of Zero-Day Attacks in IoT," Secur. Commun. Networks 2017:4749085:1-4749085:24 (2017)

Kunwar Singh, C Pandu Rangan, Ilsun You, Amalan Joseph Antony, SK Karthika, Jiyoon Kim, "Efficient Lattice based (H) IB-DRE,"  J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 13(4): 1-23 (2022)

Gaurav Choudhary, Jiyoon Kim, Vishal Sharma, "Security of 5G-Mobile Backhaul Networks: A Survey," J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 9(4): 41-70 (2018)

Seungbin Lee, Jiyoon Kim, "Survey on Internet of Medical Things Security: A Comprehensive Review," Proc. of the IEEE International Conference on Consumer Technology - Pacific 2025 (ICCT-Pacific'25), 2025.

Daemin Shin, Jiyoon Kim, Ilsun You, "Zero Trust Approach to Enhance the Security of Microservices-Based DevSecOps," Proc. of the 8th International Conference on Mobile Internet Security (MobiSec'24), 2024.

Seungbin Lee, Jiyoon Kim, "Research Trends and Use Cases on Security for Non-Terrestrial Networks," Proc. of the 10th International Conference on Next Generation Computing (ICNGC'24), 2024.

Daemin Shin, Jiyoon Kim, Ilsun You, "Analysis of Cloud Migration Trends and Security Threats in the South Korean Financial Sector," Proc. of the 7th International Conference on Mobile Internet Security (MobiSec'23), 2023.

Keon Yun, Philip Virgil Astillo, Sangmin Lee, Jiyoon Kim, Bonam Kim, Ilsun You, "Behavior-Rule Specification-based IDS for Safety-Related Embedded Devices in Smart Home," 2021 World Automation Congress (WAC), 2021.

Daniel Gerbi Duguma, Jiyoon Kim, Bonam Kim, Ilsun You, "A Formal Security Verification on He and Zeadally's Authentication Protocol for IMD-Enabled Ambient Assisted Living System," Proc. of the 2020 ACM International Conference on Intelligent Computing and its Emerging Applications, 2020.

Jiyoon Kim, Sangmin Lee, Daniel Gerbi Duguma, Bonam Kim, Ilsun You, "Comments on" Securing implantable cardiac medical devices" Use of radio frequency energy harvesting," Proc. of the 2020 ACM International Conference on Intelligent Computing and its Emerging Applications, 2020.

J. Kim, P.V. Astillo, H. Park, V. Sharma, and I. You, "Study on Handover Security Protocol for 5G Wireless Backhaul Environment," Proc. of the 15th International Workshop on Security (IWSEC'20), 2020.

P.V. Astillo, G. Choudhary, J. Kim, H. Park, I. You and I.-R. Chen, "Poster: Ensuring Safety of Medical Cyber Physical Systems Through Misbehavior Detection Integrated Medical Embedded IoT Devices - A Case Study of Patient-Controlled Analgesia Device," Proc. of the 21st World Conference on Information Security Applications (WISA'20), 2020.

D. Shin, K. Yun, H. Park, P.V. Astillo, J. Kim, and I. You, "Study on secure protocol for route optimization in DMM based smart home networks," Proc. of the 14th International Workshop on Security (IWSEC'19), 2019.

Gaurav Choudhary, Vishal Sharma, Takshi Gupta, Jiyoon Kim, Ilsun You, "Internet of Drones (IoD): Threats, Vulnerability, and Security Perspectives," The 3rd International Symposium on Mobile Internet Security (MobiSec'18), 2018.

Vishal Sharma, Jiyoon Kim, Soonhyun Kwon, Ilsun You, Fang-Yie Leu, "An overview of 802.21 a-2012 and its incorporation into IoT-fog networks using osmotic framework," Proc. of the 3rd EAI International Conference on IoT as a Service (IoTaaS'17), 2017.

Vishal Sharma, Jiyoon Kim, Soonhyun Kwon, Ilsun You, Hsing-Chung Chen, "Fuzzy-based protocol for secure remote diagnosis of IoT devices in 5G networks," Proc. of the 3rd EAI International Conference on IoT as a Service (IoTaaS'17), 2017.

이승빈, 강경아, 김지윤, "비지상 네트워크 환경에서의 게이트웨이 기반 핸드오버 보안 프로토콜 설계," 한국차세대컴퓨팅학회 논문지 21(2):26-34 (2025)

김량래, 조승현, 김지윤, "IP 카메라의 보안 취약점과 보안성 강화에 관한 연구," 한국융합보안논문지 24(3):143-151 (2024)

신대민, 유일선, 김지윤, "국내 금융권 클라우드 보안위협 및 보안 요구사항에 관한 연구," 한국차세대컴퓨팅학회 논문지, 20(4):77-96 (2024)

신대민, 김지윤, 유일선, "국내 금융권 클라우드 전환 동향 및 보안," 한국정보보호학회 정보보호학회지 33(5): 57-68 (2023)

권순현, 김지윤, 임재덕, 유일선, "5G 기반의 스마트공장 보안 동향 분석," 한국정보보호학회 정보보호학회지 30(6): 39-46 (2020)

강경아, 이주현, 김지윤, "TMIS에서의 사용자 인증 프로토콜에 대한 정형검증 연구," 2025년 한국정보보호학회 하계학술대회 (CISC-S'25) (포스터발표)

이수왕, 이주현, 김지윤, "위치 요소 기반 사용자 인증 프로토콜에 대한 정형검증 연구," 2024년 한국정보기술학회 추계종합학술대회 (구두발표)

강경아, 김지윤, "이중토큰을 이용한 효율적인 Wi-Fi 보안 프로토콜에 대한 정형검증 연구," 2024년 한국정보기술학회 추계종합학술대회 (구두발표)

이승빈, 이주현, 강경아, 김지윤, "미션 크리티컬 서비스 인증 프로토콜에 대한 보안성 분석," 2024년 한국차세대컴퓨팅학회 춘계학술대회 (포스터발표)

박원빈, 배정훈, 김지윤, "EAP 기반의 UE와 NSSAAF 간 인증에 대한 연구 동향 분석," 2023년 한국정보보호학회 동계학술대회 (CISC-W'23) (포스터발표)

이승빈, 유지훈, 김지윤, "향상된 프라이버시를 지원하는 애플리케이션 인증 및 키 관리에 대한 정형검증 연구," 2023년 한국정보보호학회 영남지부학술대회 (구두발표)

오종민, 배정훈, 김지윤, "자동화 검증 도구 AVISPA를 이용한 TLS 1.3의 보안성 검증 연구," 2023년 한국융합보안학회 추계학술대회 (구두발표)

권호석, 김지윤, 유일선, "인공 췌장 시스템을 위한 상호 인증 프로토콜 구현 및 성능 평가," 2023년 한국정보보호학회 하계학술대회 (CISC-S'23) (구두발표)

오종민, 김지윤, 김보남, 유일선, "자동화된 정형화 검증 도구를 사용한 완전 순방향 비밀성을 지원하는 TLS 1.2 프로토콜에 관한 PAL 3급 수준의 보안성 검증 분석," 2023년 한국정보보호학회 하계학술대회 (CISC-S'23) (구두발표)

오종민, 김지윤, 김보남, 유일선, "웨어러블 디바이스 클라우드 프로토콜에서의 정형화 검증," 2022년 한국융합보안학회 하계 학술대회 (KCSA-S'22) (구두발표)

김지윤, 박훈용, 김보남, 유일선, "어플리케이션을 위한 인증 및 키 관리 표준에 관한 분석 연구," 2021년도 한국정보보호학회 동계학술대회 (CISC-W'21) (구두발표).

김지윤, 이상민, 유일선, "이중토큰을 이용한 효율적인 Wi-Fi 보안 프로토콜의 보안성에 관한 정형화 검증 연구,"2021년도 한국정보보호학회 하계학술대회 (CISC-S'21) (구두발표).

이상민, 김지윤, 김보남, 유일선, "5G 네트워크에서 D2D 통신을 위한 Chow-Ma 보안 프로토콜의 취약점 분석,"2021년도 한국정보보호학회 하계학술대회 (CISC-S'21) (구두발표).

김지윤, 이상민, 유일선, "효과적인 자원관리를 위한 적응형 암호 알고리즘 연구: 키블록 생성에 대한 개선을 중심으로," 2020년도한국정보보호학회 하계학술대회(CISC-S'20) (구두발표)

김지윤, 권순현, 유일선, "5G HetNet 환경을 지원하기 위한 MIH(Media Independent Handover) 기반의 고속의 안전한 핸드오버 인증기법 연구," 2018년도 한국정보보호학회 하계학술대회 (CISC-S'18) (구두발표)

권순현, 김지윤, 안효범, 유일선, "Security Protocol for F-PMIPv6의 보안성 분석," 2017년도 한국정보보호학회 하계학술대회 (CISC-S'17) (포스터발표)

Vishal Sharma, 김지윤, 권순현, 유일선, 이경률, 임강빈, "A framework for mitigating zero-day attacks in IoT," 2017년도 한국정보보호학회 하계학술대회 (CISC-S'17) (구두발표)

김지윤, 김민호, 권순현, 전재율, 유일선, "AVISPA를 이용한 PMIPv6 네트워크를 위한 EAP-AKA 프로토콜의 보안성 분석," 2016년도 한국정보보호학회 하계학술대회 (CISC-S'16) (포스터발표)