Seung Cheol Shin

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

Kyung-Goo Doh, Seung Cheol Shin
Detection of information leak by data flow analysis. ACM SIGPLAN Notices 37 (8) (2002)
Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
Data Flow Analysis of Secure Information-Flow. APLAS (2002)
Kyung-Goo Doh, Seung Cheol Shin
Analysis of Secure Information Flow by Model-Checking. APLAS (2001)