Fuzzy-Based Protocol for Secure Remote Diagnosis of IoT Devices in 5G Networks. - Vishal Sharma 001; Jiyoon Kim 001; Soonhyun Kwon; Ilsun You; Hsing-Chung Chen (IoTaaS, 2017)

An Overview of 802.21a-2012 and Its Incorporation into IoT-Fog Networks Using Osmotic Framework. - Vishal Sharma 001; Jiyoon Kim 001; Soonhyun Kwon; Ilsun You; Fang-Yie Leu (IoTaaS, 2017)

Secure and Efficient Protocol for Route Optimization in PMIPv6-Based Smart Home IoT Networks. - Daemin Shin; Vishal Sharma 001; Jiyoon Kim 001; Soonhyun Kwon; Ilsun You (IEEE Access, 2017)

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

A framework for mitigating zero-day attacks in IoT. - Vishal Sharma 001; Jiyoon Kim 001; Soonhyun Kwon; Ilsun You; Kyungroul Lee; Kangbin Yim (CoRR, 2018)

Internet of Drones (IoD): Threats, Vulnerability, and Security Perspectives. - Gaurav Choudhary; Vishal Sharma 001; Takshi Gupta; Jiyoon Kim 001; Ilsun You (CoRR, 2018)

Security management for backhaul-aware 5G-V2X. - Vishal Sharma 001; Yongho Ko; Jiyoon Kim 001; Ilsun You (CoRR, 2018)

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

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

An optimal security management framework for backhaul-aware 5G-Vehicle to Everything (V2X). - Vishal Sharma 001; Jiyoon Kim 001; Yongho Ko; Ilsun You; Jung-Taek Seo (CoRR, 2019)

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

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

A Formal Security Verification on He and Zeadally's Authentication Protocol for IMD-Enabled Ambient Assisted Living System. - Daniel Gerbi Duguma; Jiyoon Kim 001; Bonam Kim; Ilsun You (ICEA, 2020)

Comments on "Securing implantable cardiac medical devices": Use of radio frequency energy harvesting. - Jiyoon Kim 001; Sangmin Lee 019; Daniel Gerbi Duguma; Bonam Kim; Ilsun You (ICEA, 2020)

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

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

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

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

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

Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols. - Daniel Gerbi Duguma; Ilsun You; Yonas Engida Gebremariam; Jiyoon Kim 001 (Sensors, 2021)

Drone Secure Communication Protocol for Future Sensitive Applications in Military Zone. - Yongho Ko; Jiyoon Kim 001; Daniel Gerbi Duguma; Philip Virgil Astillo; Ilsun You; Giovanni Pau 002 (Sensors, 2021)

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

A lightweight D2D security protocol with request-forecasting for next-generation mobile networks. - Daniel Gerbi Duguma; Jiyoon Kim 001; Sangmin Lee 019; Nam-Su Jho; Vishal Sharma 001; Ilsun You (Connect. Sci., 2022)

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

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

Efficient Lattice based (H)IB-DRE. - Kunwar Singh; C. Pandu Rangan; Ilsun You; Amalan Joseph Antony; S. K. Karthika; Jiyoon Kim 001 (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2022)

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

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

Enhancing cloud-native DevSecOps: A Zero Trust approach for the financial sector. - Daemin Shin; Jiyoon Kim 001; I Wayan Adi Juliawan Pawana; Ilsun You (Comput. Stand. Interfaces, 2025)