Woo-Sik Bae

Proposing and verifying a security-enhanced protocol for IoT-based communication for medical devices

Kun-Hee Han, Woo-Sik Bae · Cluster Computing · 2016 · 23 citations

Computing, Biomedical Engineering, Cybersecurity +16

A Secure and Efficient V2V Authentication Method in Heavy Traffic Environment

Myoung-Seok Han, Sang Jun Lee, Woo-Sik Bae · Wireless Personal Communications · 2016 · 15 citations

Computing, Computer Engineering, Computer Science +14

Formal Verification of an RFID Authentication Protocol Based on Hash Function and Secret Code

Woo-Sik Bae · Wireless Personal Communications · 2014 · 13 citations

Computing, Computer Science, Authentication +16

Proposing and verifying a security protocol for hash function-based IoT communication system

Kun-Hee Han, Woo-Sik Bae · Cluster Computing · 2016 · 13 citations

Computing, Computer Engineering, Computer Science +14

Verifying a secure authentication protocol for IoT medical devices

Woo-Sik Bae · Cluster Computing · 2017 · 13 citations

Computing, Computer Science, Cybersecurity +14