| 2008 |
|---|
| 13 | EE | Hyun Seok Kim,
Seok Seo,
Jin-Young Choi:
Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol.
HPCC 2008: 1015-1018 |
| 2007 |
|---|
| 12 | EE | Jung-Hyun Oh,
Hyun Seok Kim,
Jin-Young Choi:
A Secure Communication Protocol for Low-Cost RFID System.
CIT 2007: 949-954 |
| 11 | EE | Hyun Seok Kim,
Jin-Young Choi:
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing.
DEXA Workshops 2007: 693-697 |
| 10 | EE | Hyun Seok Kim,
Jin-Young Choi:
Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing.
ICCCN 2007: 1359-1363 |
| 9 | EE | Nguyen Huu Chuc,
Jong Kil Park,
Doan Vu Thuy,
Hyun Seok Kim,
Jachoon Koo,
Youngkwan Lee,
Jea-do Nam,
Hyouk Ryeol Choi:
Multi-stacked artificial muscle actuator based on synthetic elastomer.
IROS 2007: 771-776 |
| 8 | | Hyun Seok Kim,
Jung-Hyun Oh,
Jin-Young Choi:
RFID Privacy Protection Scheme for Secure Ubiquitous Computing.
IWRT 2007: 117-124 |
| 7 | EE | Jung-Hyun Oh,
Hyun Seok Kim,
Jin-Young Choi:
A Light-weight Security Protocol for RFID System.
PWC 2007: 384-395 |
| 2006 |
|---|
| 6 | EE | Il-Gon Kim,
Hyun Seok Kim,
Ji-Yeon Lee,
Jin-Young Choi,
Inhye Kang:
Secrecy Analysis of Purchase Transaction in Electronic Purses.
AINA (1) 2006: 979-984 |
| 5 | EE | Hyun Seok Kim,
Jung-Hyun Oh,
Jin-Young Choi,
Jin-Woo Kim:
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System.
CIT 2006: 152 |
| 4 | EE | Hyun Seok Kim,
Jeong-Hyun Oh,
Jin-Young Choi:
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.
COMPSAC (2) 2006: 195-202 |
| 3 | EE | Hyun Seok Kim,
Il-Gon Kim,
Keun-Hee Han,
Jin-Young Choi:
Security and Privacy Analysis of RFID Systems Using Model Checking.
HPCC 2006: 495-504 |
| 2 | EE | Jin-Woo Kim,
JuHum Kwon,
Young-Gab Kim,
Chee-Yang Song,
Hyun Seok Kim,
Doo-Kwon Baik:
EAFoC: Enterprise Architecture Framework Based on Commonality.
J. Comput. Sci. Technol. 21(6): 952-964 (2006) |
| 2005 |
|---|
| 1 | EE | Hyun Seok Kim,
Il-Gon Kim,
Jin-Young Choi:
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System.
ICDCS Workshops 2005: 217-223 |
