Formal Verification of an RFID Authentication Protocol Based on Hash Function and Secret Code. - Woo-Sik Bae (Wirel. Pers. Commun., 2014)

Function-based connection protocol development and verification for secure communication in vehicle environment. - Woo-Sik Bae (Clust. Comput., 2015)

Proposing and verifying a security protocol for hash function-based IoT communication system. - Kun-Hee Han; Woo-Sik Bae (Clust. Comput., 2016)

Proposing and verifying a security-enhanced protocol for IoT-based communication for medical devices. - Kun-Hee Han; Woo-Sik Bae (Clust. Comput., 2016)

Designing and verifying a P2P service security protocol in M2M environment. - Woo-Sik Bae (Peer-to-Peer Netw. Appl., 2016)

A Secure and Efficient V2V Authentication Method in Heavy Traffic Environment. - Myoung-Seok Han; Sang Jun Lee; Woo-Sik Bae (Wirel. Pers. Commun., 2017)

Verifying Secure Authentication Protocol for Communication between IoT-based Medical Devices. - Nipon Theera-Umpon; Kun-Hee Han; Woo-Sik Bae; Sanghyuk Lee; Van Huy Pham 001 (J. Univers. Comput. Sci., 2018)

Hierarchical Management Scheme of Biometric Information Through the Synchronization of Heterogeneous Devices. - Yoon-Su Jeong; Woo-Sik Bae; Seung-Soo Shin (Wirel. Pers. Commun., 2018)

Verifying a secure authentication protocol for IoT medical devices. - Woo-Sik Bae (Clust. Comput., 2019)