| 2002 | ||
|---|---|---|
| 3 | Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi: Data Flow Analysis of Secure Information-Flow. APLAS 2002: 352-365 | |
| 2 | EE | Kyung-Goo Doh, Seung Cheol Shin: Detection of information leak by data flow analysis. SIGPLAN Notices 37(8): 66-71 (2002) |
| 2001 | ||
| 1 | Kyung-Goo Doh, Seung Cheol Shin: Analysis of Secure Information Flow by Model-Checking. APLAS 2001: 225-236 | |
| 1 | Kyung-Goo Doh | [1] [2] [3] |
| 2 | Kwangkeun Yi | [3] |