Seung Cheol Shin

	2002
3		Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi: Data Flow Analysis of Secure Information-Flow. APLAS 2002: 352-365
2		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

Coauthor Index

1	Kyung-Goo Doh	[1] [2] [3]
2	Kwangkeun Yi	[3]