Il-Gon Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2007
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICDE | Atomicity for P2P based XML Repositories. | Debmalya Biswas, Il-Gon Kim |
| 2006 | AINA | Secrecy Analysis of Purchase Transaction in Electronic Purses. | Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang |
| 2006 | HPCC | Security and Privacy Analysis of RFID Systems Using Model Checking. | Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi |
| 2005 | AINA | Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. | Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi |
| 2004 | AINA | Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. | Il-Gon Kim, Jin-Young Choi |