Seung Cheol Shin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

1 Kyung-Goo Doh, Seung Cheol Shin: Analysis of Secure Information Flow by Model-Checking. APLAS 2001: 225-236

Selection of 3 from 3 records - Seung Cheol Shin has 2 coauthors

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)
1		Kyung-Goo Doh, Seung Cheol Shin: Analysis of Secure Information Flow by Model-Checking. APLAS 2001: 225-236